Luming Lai, Phil Watson. A Case Study in Timed CSP: The Railroad Crossing Problem. In Oded Maler, editor, Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings. Volume 1201 of Lecture Notes in Computer Science, pages 69-74, Springer, 1997.
Abstract is missing.