"Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design" - читать интересную книгу автора (Karsten Strehl)