"Automatic Verification Methods for Finite State Systems" - читать интересную книгу автора