Defining and model checking abstractions of complex railway models using CSP‖B (2012)

by F Moller, H N Nguyen, M Roggenbach, S Schneider, H Treharne
Venue:in: Proceedings of HVC’12: Eighth Haifa Verification Conference, in: Lecture Notes in Computer Science