Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira. A Timed CSP Model for the Time-Triggered Language Giotto. In Jonathan P. Bowen, Huibiao Zhu, Mike Hinchey, editors, 35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012. pages 110-119, IEEE Computer Society, 2012. [doi]
Abstract is missing.