Not sure whether I get your question right here, but maybe the following SLR guidelines are helpful: Article A New Paradigm for Systematic Literature Reviews in Supply C...
I assume you mean model checking in the sense of https://en.wikipedia.org/wiki/List_of_model_checking_tools and the article https://en.wikipedia.org/wiki/Model_checking on the overall topic where additional work has been requested by the wikipedia team.
I notice that ACL2 is missing from the articles although this query, https://www.bing.com/search?q=ACL2%20%22model%20checking%22&qs=n&sk=&sc=1-21&form=BDKTMS&pc=BDT5&shash=&BDParam=0000&mkt=en-US, provides considerable information about that.
Is it source materials, books and papers, in this area that you seek to catalogue and review?
What kind of literature ? I believe there is no general model.
If you have a specific object/question, define your search terms as clearly as possible, based on a handfull of papers covering the subject. Do not forget synonyms.
If you want to write a review or similar, start with a few rather broad search terms over let's say 20 years. Then take the latest (let's say) 100 papers en refine your search, excluding all rubisch and side-lines you are not interested in. Then search again.
So, as in many research items, you have to be nearly halfway before you know what your final destination could be.
Define clearly the definition of Model Checking and its related definitions. Because mode checking is suite of concepts including type of models e.g. automata models or petri-nets, etc. The verification logic languages of a model-checker. First, take some model checkers on list and then see what are the different parts: model, engine, verification language, set of verification properties. Study each model checker and its each part in detail. See what each has edge over other, what types of application each can model, compare their performance and applicability. Case studies are helpful to understand tools practically.