Jianlin Wang, Chao Peng, Zhenbing Zeng. A Formal Proof of the Soundness of the Hybrid CPS Clock Theory. In Toshiaki Aoki, Qin Li, editors, International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020. pages 97-104, IEEE, 2020. [doi]
Abstract is missing.