Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis. Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. In Minyi Guo, Laurence Tianruo Yang, Beniamino Di Martino, Hans P. Zima, Jack Dongarra, Feilong Tang, editors, Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings. Volume 4330 of Lecture Notes in Computer Science, pages 317-328, Springer, 2006. [doi]
Abstract is missing.