1. Bergenthal, M., Krafczyk, N., Peleska, J., Sachtleben, R.: libfsmtest - An Open Source Library for FSM-based Testing. In: Cavalli, A., Menéndez, H.D. (eds.) Testing Software and Systems - Proceedings of the IFIP-ICTSS 2021. Lecture Notes in Computer Science. Springer, Cham (2021, to appear)
2. Biere, A., Heljanko, K., Junttila, T., Latvala, T., Schuppan, V.: Linear encodings of bounded LTL model checking. Logical Methods Comput. Sci. 2(5) (2006). https://doi.org/10.2168/LMCS-2(5:5)2006. http://arxiv.org/abs/cs/0611029. arXiv: cs/0611029
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
4. Lecture Notes in Computer Science;J-C Fernandez,2004
5. Giannakopoulou, D., Havelund, K.: Automata-based verification of temporal properties on running programs. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 412–416. IEEE Computer Society, San Diego (2001). https://doi.org/10.1109/ASE.2001.989841. http://ieeexplore.ieee.org/document/989841/