Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu, Ling Shi, Étienne André. Modeling and verifying hierarchical real-time systems using stateful timed CSP. ACM Transactions on Software Engineering Methodology, 22(1):3, 2013. [doi]
Abstract is missing.