Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær. Modelling and Verification of Relay Interlocking Systems. In Christine Choppy, Oleg Sokolsky, editors, Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Volume 6028 of Lecture Notes in Computer Science, pages 141-153, Springer, 2008. [doi]