"Model Checking Software" - читать интересную книгу автора (Susanne Graf, Laurent Mounier)