Towards an Integrated Model Checker for Railway Signalling Data.

Michael Huber, Steve King

Browse the full FM paper archive.