Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber

Systems and Software Verification: Model-Checking Techniques and Tools by Berard

Embedded Software Verification and Debugging (Embedded Systems) [Paperback]

Embedded Software Verification and Debugging: 2016 (Embedded Systems) [Hardback]

Safety Instrumented System Design: Techniques and Design Verification

Berard - Systems and Software Verification Model-Checking Techniques - X555z