Return to Article Details Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems Download Download PDF