L. J. Steggles
Department of Computer Science, University of Newcastle, UK
L. J. Steggles: Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller /jucs_6_4/specifying_and_verifying_real