Systems and Software Verification: Model-Checking Techniques and Tools

Software-Defined Networks: A Systems Approach

The Engineering of Reliable Embedded Systems: Developing Software for 'SIL0' to 'SIL3' Designs Using Time-Triggered Architectures

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation