Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S., & Treharne, H. (2013). Defining and model checking abstractions of complex railway models using CSP||B. Haifa Verification Conference 2012.

Moller, Faron, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, and Helen Treharne. "Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B." Haifa Verification Conference 2012 2013.

Moller, Faron, et al. "Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B." Haifa Verification Conference 2012 2013.