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