4 works on record
Symposium on Real-Time and Hybrid Systems
Formal Verification of Simulink/Stateflow Diagrams
Dependable Software Engineering : Theories, Tools, and Applications
Formal Methods