Modeling and verifying hierarchical real-time systems using stateful timed CSP - Sun, Jun; Liu, Yang; Dong, Jin Song; Liu, Yan; Shi, Ling; André, Étienne (ACM transactions on software engineering and methodology, 2013)
Keywords: Automata theory