1. The B Book: Assigning Programs to Meanings;Abrial,1996
2. Models of railway systems: Requirements;Bjørner,1999
3. The Vienna Development Method,1978
4. Communicating Sequential Processes;Hoare,1985
5. Modelling and Simulation of Train Control Systems using Petri nets;Meyer zu Hörste,1999