"Model Checking of Software, 9 conf" - читать интересную книгу автора (Dragan Bosnacki, Stefan Leue)