Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Browse the full ISPA paper archive.