Verifying Simulink diagrams via a Hybrid Hoare Logic Prover | IEEE Conference Publication | IEEE Xplore