"Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)" - читать интересную книгу автора (Jaco van der Pol, Michael Weber)