1. Formalizing a subset of ertms/etcs specifications for verification purposes;Ghazel;Transp Res Part C,2014
2. Modelling and simulation of IEC 61850 requirements applied to an automated people mover’s controller;Kunz,2011
3. Modeling and simulating the controller behavior of an automated people mover using iec 61850 communication requirements;Kunz,2011
4. A dependable automated people mover system modeled and verified using timed automata: a case study;Kunz,2011
5. NASA. Nasastd-8719.13. 2004.