Stylianos Basagiannis, Panagiotis Katsaros. Formal Verification of Network Interlocking Control by Distributed Signal Boxes. In Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano, editors, Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Volume 11842 of Lecture Notes in Computer Science, pages 204-221, Springer, 2019. [doi]
Abstract is missing.