"Automatic Verification of Sequential Infinite-State Processes " - читать интересную книгу автора (Olaf Burkart)