1. Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Combining event-based and state-based modelling for railway verification. Technical report CS-12-02, University of Surrey (2012)
2. Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Using ProB and CSP
$$||$$
|
|
B for railway modelling. In: Proceedings of IFM 2012 and ABZ 2012 Posters and Tool Demos Session, pp. 31–35 (2012)
3. Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: Railway modelling in CSP
$$||$$
|
|
B: The double junction case study. Electron. Commun. EASST 53 (2012)
4. LNCS;F Moller,2013
5. James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S., Treharne, H.: On modelling and verifying railway interlockings: tracking train lengths. Technical report CS-13-03, University of Surrey (2013)