Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach Zhan Naijun Heftet / 2018 / Engelsk
