The following publications are possibly variants of this publication:
- 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]
- A clock-based dynamic logic for schedulability analysis of CCSL specificationsYuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu 0001. SCP, 202:102546, 2021. [doi]