Formal Development and Verification of a Distributed Railway Control System (2000)

by A E Haxthausen, J Peleska
Venue:IEEE Transactions on Software Engineering