A Formal Proof of the Soundness of the Hybrid CPS Clock Theory | IEEE Conference Publication | IEEE Xplore