@inproceedings(AGJ:04,
 author       = "L. de Alfaro and P. Godefroid and R. Jagadeesan",
 year         = "2004",
 title        = "Three-Valued Abstractions of Games: Uncertainty, but with Precision",
 booktitle    = "LICS",
 pages        = "170--179",
 doi          = "10.1109/LICS.2004.1319611",
)
@inproceedings(ClarkeGL92,
 author       = "E. M. Clarke and O. Grumberg and D. E. Long",
 year         = "1992",
 title        = "Model Checking and Abstraction",
 booktitle    = "POPL",
 pages        = "342--354",
 doi          = "10.1145/143165.143235",
)
@book(Clarke:2000:MC:332656,
 author       = "E. M. Clarke, Jr. and O. Grumberg and D. A. Peled",
 year         = "1999",
 title        = "Model checking",
 publisher    = "MIT Press",
 address      = "Cambridge, MA, USA",
)
@article(CGJLV:03,
 author       = "E.M. Clarke and O. Grumberg and S. Jha and Y. Lu and H. Veith",
 year         = "2003",
 title        = "Counterexample-guided abstraction refinement for symbolic model checking",
 journal      = "J. ACM",
 volume       = "50",
 number       = "5",
 pages        = "752--794",
 doi          = "10.1145/876638.876643",
)
@inproceedings(CC:77,
 author       = "P. Cousot and R. Cousot",
 year         = "1977",
 title        = "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints",
 booktitle    = "POPL",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@article(DGG:97,
 author       = "D. Dams and R. Gerth and O. Grumberg",
 year         = "1997",
 title        = "Abstract interpretation of reactive systems",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "19",
 number       = "2",
 pages        = "253--291",
 doi          = "10.1145/244795.244800",
)
@inproceedings(DN:04,
 author       = "D. Dams and K. S. Namjoshi",
 year         = "2004",
 title        = "The Existence of Finite Abstractions for Branching Time Model Checking",
 booktitle    = "LICS",
 pages        = "335--344",
 doi          = "10.1109/LICS.2004.1319628",
)
@inproceedings(DN:05,
 author       = "D. Dams and K.S. Namjoshi",
 year         = "2005",
 title        = "Automata as Abstractions",
 booktitle    = "VMCAI",
 series       = "LNCS",
 volume       = "3385",
 pages        = "216--232",
 doi          = "10.1007/978-3-540-30579-8\_15",
)
@inproceedings(FE:09,
 author       = "H. Fecher and D. de Frutos-Escrig and G. Luttgen and H. Schmidt",
 year         = "2009",
 title        = "On the Expressiveness of Refinement Settings",
 booktitle    = "FSEN",
 series       = "LNCS",
 volume       = "5961",
 pages        = "276--291",
 doi          = "10.1007/978-3-642-11623-0\_16",
)
@article(FS:11,
 author       = "H. Fecher and S. Shoham",
 year         = "2011",
 title        = "Local abstraction-refinement for the $\mu $-calculus",
 journal      = "STTT",
 volume       = "13",
 number       = "4",
 pages        = "289--306",
 doi          = "10.1007/s10009-011-0202-1",
)
@inproceedings(GJ:03,
 author       = "P. Godefroid and R. Jagadeesan",
 year         = "2003",
 title        = "On the Expressiveness of 3-Valued Models",
 booktitle    = "VMCAI",
 pages        = "206--222",
 doi          = "10.1007/3-540-36384-X\_18",
)
@inproceedings(GC:05,
 author       = "A. Gurfinkel and M. Chechik",
 year         = "2005",
 title        = "How Thorough Is Thorough Enough?",
 editor       = "Dominique Borrione and Wolfgang J. Paul",
 booktitle    = "CHARME",
 series       = "Lecture Notes in Computer Science",
 volume       = "3725",
 publisher    = "Springer",
 pages        = "65--80",
 doi          = "10.1007/11560548\_8",
)
@inproceedings(HJS:01,
 author       = "M. Huth and R. Jagadeesan and D.A. Schmidt",
 year         = "2001",
 title        = "Modal Transition Systems: A Foundation for Three-Valued Program Analysis",
 booktitle    = "ESOP",
 series       = "LNCS",
 volume       = "2028",
 pages        = "155--169",
 doi          = "10.1007/3-540-45309-1\_11",
)
@inproceedings(LNW:07,
 author       = "K. G. Larsen and U. Nyman and Andrzej Wasowski",
 year         = "2007",
 title        = "On Modal Refinement and Consistency",
 editor       = "Lu\'{\i }s Caires and Vasco Thudichum Vasconcelos",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "4703",
 publisher    = "Springer",
 pages        = "105--119",
 doi          = "10.1007/978-3-540-74407-8\_8",
)
@inproceedings(LT:88,
 author       = "K. G. Larsen and B. Thomsen",
 year         = "1988",
 title        = "A Modal Process Logic",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "203--210",
 doi          = "10.1109/LICS.1988.5119",
)
@inproceedings(LX:90,
 author       = "K. G. Larsen and L. Xinxin",
 year         = "1990",
 title        = "Equation Solving Using Modal Transition Systems",
 booktitle    = "LICS",
 pages        = "108--117",
 doi          = "10.1109/LICS.1990.113738",
)
@inproceedings(SG:04,
 author       = "S. Shoham and O. Grumberg",
 year         = "2004",
 title        = "Monotonic Abstraction-Refinement for {CTL}",
 booktitle    = "TACAS",
 series       = "LNCS",
 volume       = "2988",
 pages        = "546--560",
 doi          = "10.1007/978-3-540-24730-2\_40",
)
@article(SG:08,
 author       = "S. Shoham and O. Grumberg",
 year         = "2008",
 title        = "3-Valued abstraction: More precision at less cost",
 journal      = "Inf. Comput.",
 volume       = "206",
 number       = "11",
 pages        = "1313--1333",
 doi          = "10.1016/j.ic.2008.07.004",
)
@article(WGC:11,
 author       = "O. Wei and A. Gurfinkel and M. Chechik",
 year         = "2011",
 title        = "On the consistency, expressiveness, and precision of partial modeling formalisms",
 journal      = "Inf. Comput.",
 volume       = "209",
 number       = "1",
 pages        = "20--47",
 doi          = "10.1016/j.ic.2010.08.001",
)