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

Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz

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

Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture