Nguyen, H., Isobe, Y., Moller, F., Nguyen, H. N., & Roggenbach, M. (2012). Safety and Line Capacity in Railways – An Approach in Timed CSP. Integrated Formal Methods, 7321, pp. 54-68. doi:10.1007/978-3-642-30729-4_5

Nguyen, Hoang, Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, and Markus Roggenbach. "Safety and Line Capacity in Railways – An Approach in Timed CSP." Integrated Formal Methods 7321 (2012): 54-68.

Nguyen, Hoang, et al. "Safety and Line Capacity in Railways – An Approach in Timed CSP." Integrated Formal Methods 7321 (2012): 54-68.