Formal verification of Simulink/Stateflow diagrams a deductive approach - Zhan, Naijun; Wang, Shuling; Zhao, Hengjun (Springer, 2017)