@article{kansoMollerSetzer:AutomatedVerificationSignalling:ENTCS2009,
author = {Karim Kanso and Faron Moller and Anton Setzer},
title = {Automated Verification of Signalling Principles in Railway Interlocking Systems},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {250},
year = {2009},
pages = {19 - 31},
doi={10.1016/j.entcs.2009.08.015},
abstract = { },
available = { }
}