The following publications are possibly variants of this publication:
- A clock-based dynamic logic for the verification of CCSL specifications in synchronous systemsYuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet. SCP, 203:102591, 2021. [doi]
- Schedulability Analysis with CCSL SpecificationsLing Yin, Jing Liu, Zuohua Ding, Frédéric Mallet, Robert de Simone. apsec 2013: 414-421 [doi]
- Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL SpecificationsYuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet. ftscs 2019: 101-118 [doi]