@inproceedings{f39260bcb65b49788132db55c420904b,
title = "The application of automation theory to railway signalization systems: The case of Turkish National Railway Signalization Project",
abstract = "The application of control and automation theory to practical areas can provide significant means for improvement in developing countries like Turkey, where human (brain) power is relatively inexpensive. A possible application area for the well established automation theory is railway signalization, where formal methods are required to be used in order to comply with the related safety standards. Turkish National Railway Signalization Project (TNRSP) is examined in this paper with this perspective as a case study. Development stages, architecture and design of the software produced in this project are briefly discussed.",
keywords = "Interlocking design, Railway signaling, University-industry relations in developing countries",
author = "S{\"o}ylemez, {Mehmet T.} and Durmu{\c s}, {Mustafa S.} and Uǧur Yildirim and Serhat T{\"u}rk and Arcan Sonat",
year = "2011",
doi = "10.3182/20110828-6-IT-1002.03755",
language = "English",
isbn = "9783902661937",
series = "IFAC Proceedings Volumes (IFAC-PapersOnline)",
publisher = "IFAC Secretariat",
number = "1 PART 1",
pages = "10752--10757",
booktitle = "Proceedings of the 18th IFAC World Congress",
edition = "1 PART 1",
}