1. Safe and Time-Optimal Control for Railway Games;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2019
2. Fault diagnosis in fixed-block railway signaling systems: a discrete event systems approach;IEEJ Transactions on Electrical and Electronic Engineering;2014-08-01
3. The Application of Automation Theory to Railway Signaling Systems: Turkish National Railway Signaling Project;Pamukkale University Journal of Engineering Sciences;2013
4. Mίνθa;Railway Safety, Reliability, and Security;2012
5. Model-Based Generation of Interlocking Controller Software from Control Tables;Model Driven Architecture – Foundations and Applications