"Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s" - читать интересную книгу автора (Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek)