Ning Yu, Martin Wirsing: A SOC-Based Formal Specification and Verification of Hybrid Systems. WADT 2014: 151-169