D. Faragó, и P. Schmitt. Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, стр. 50-67. Springer, (июня 2009)
P. Schmitt, и I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), стр. 47--58. IEEE Computer Society, (2007)