Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study | IEEE Conference Publication | IEEE Xplore