Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards. Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. In European Control Conference, ECC 2015, Linz, Austria, July 15-17, 2015. pages 2670-2675, IEEE, 2015. [doi]
Abstract is missing.