Formal development and verification of a distributed railway control system (0)

by A E Haxthausen, J Peleska
Venue:IEEE Trans. Software Eng