Formal Verification of Simulink/Stateflow Diagrams - Zhan, Naijun (Springer International Publishing, 2020)