Oytun Eris, Ilhan Mutlu. Design of signal control structures using formal methods for railway interlocking systems. In 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010, Singapore, 7-10 December 2010, Proceedings. pages 776-780, IEEE, 2010. [doi]
Abstract is missing.