Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang. Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. In Karin Breitman, Ana Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Volume 5885 of Lecture Notes in Computer Science, pages 581-600, Springer, 2009. [doi]