Formal Verification of Simulink/Stateflow Diagrams - Zhan, Naijun; Wang, Shuling; Zhao, Hengjun (Springer International Publishing, 2017)