//-->
An approach to automatic development of interlocking logic based on Statechart
Chen, Xiangxian, (2011)
Data configurations in railway signalling engineering : an application of enterprise systems techniques
Chen, Xiangxian, (2013)
Verification and validation in railway signalling engineering : an application of entreprise systems techniques
Chen, Xiangxian, (2014)