"Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Javier Esparza, Keijo Heljanko)