A simple railroad controller: A case study in real-time specification (1994)

by T Biegstraaten, K Brink, J van Katwijk, W J Toetenel
Venue:Delft University of Technology