J. O. Andrade and Y. Kameyama, Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras, IEICE Transactions on Information and Systems, vol.95, issue.5, pp.95-1355, 2012.
DOI : 10.1587/transinf.E95.D.1355

R. Augustijn, Multivalued logics and hyper transitions in SpinJa, 2015.

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

G. Bruns and P. Godefroid, Model Checking with Multi-valued Logics, ICALP, pp.281-293, 2004.
DOI : 10.1007/978-3-540-27836-8_26
URL : http://ect.bell-labs.com/who/grb/pubs/icalp2004.pdf

M. Chechik, B. Devereux, and A. Gurfinkel, Model-checking infinite state-space systems with fine-grained abstractions using spin, SPIN, pp.16-36, 2001.
DOI : 10.1007/3-540-45139-0_3

M. De-jonge and T. C. Ruys, The SpinJa Model Checker, SPIN, pp.124-128, 2010.
DOI : 10.1007/978-3-540-73370-6_12

M. Fitting, Bilattices and the theory of truth, Journal of Philosophical Logic, vol.13, issue.3, pp.225-256, 1989.
DOI : 10.2140/pjm.1955.5.285

R. Gerth, D. A. Peled, M. Y. Vardi, and P. Wolper, Simple On-the-fly Automatic Verification of Linear Temporal Logic, PSTV, pp.3-18, 1995.
DOI : 10.1007/978-0-387-34892-6_1

O. Kupferman and Y. Lustig, Lattice Automata, VMCAI, pp.199-213, 2007.
DOI : 10.1007/978-3-540-69738-1_14

Y. Meller, O. Grumberg, and S. Shoham, A framework for compositional verification of multi-valued systems via abstraction-refinement, ATVA, pp.271-288, 2009.

S. J. Vijzelaar and W. J. Fokkink, Multi-valued Simulation and Abstraction Using Lattice Operations, ACM Transactions on Embedded Computing Systems, vol.16, issue.2, pp.1-4226, 2017.
DOI : 10.4204/EPTCS.72.9

S. J. Vijzelaar, C. Verstoep, W. J. Fokkink, and H. E. Bal, Distributed MAP in the SpinJa Model Checker, PDMC, pp.84-90, 2011.
DOI : 10.1109/IPDPS.2009.5161000

S. J. Vijzelaar, C. Verstoep, W. J. Fokkink, and H. E. Bal, Bonsai: Cutting Models Down to Size, PSI, pp.361-375, 2014.
DOI : 10.1007/978-3-662-46823-4_29