1. Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer. 2014. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. In Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Science), Marco Bernardo 0001, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, and Ina Schaefer (Eds.), Vol. 8483. Springer, 65--121.
2. Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking (Representation and Mind Series). The MIT Press.
3. W. Chiu, B. Chen, and C. Yang. 2012. Robust Relative Location Estimation in Wireless Sensor Networks with Inexact Position Problems. IEEE Transactions on Mobile Computing 11, 6 (June 2012), 935--946. https://doi.org/10.1109/TMC.2011.111
4. Edmund M. Clarke, Orna Grumberg, and Doron Peled. 1999. Model Checking. MIT Press.
5. Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (Eds.). 2018. Handbook of Model Checking. Springer.