"Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction" - читать интересную книгу автора (Sandeep K. Shukla, Jean-Pierre Talpin)