"Embedded System Design: Modeling, Synthesis and Verification" - читать интересную книгу автора (Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner)