Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Formal Methods and Models for System Design: A System Level Perspective

Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings