Formal Verification of Simulink/Stateflow Diagrams

by Naijun Zhan, Shuling Wang, Hengjun Zhao