1. Jo, H.-J., Yoon, Y.-K., & Hwang, J.-G. (2009). Analysis of the formal specification application for train control systems. Journal of Electrical Engineering & Technology, 4(1), 87–92.
2. IEC62278:2002. Railway applications: Specification and demonstration of reliability, availability, maintainability and safety (RAMS).
3. Xie, G., Hei, X., Mochizuki, H., Takahashi, S., & Nakamura, H. (2013). Safety and Reliability Estimation of Automatic Train Protection and Block System. Quality and Reliability Engineering International. © John Wiley & Sons, Ltd.
4. Reed, G. M., & Roseoe, A. W. (1988). A timed model for communicating sequential processes. Theoretical Computer Science, 58, 249–261.
5. Xu, B. Q., He, J., & Zhang, L. C. (2013). Specification of cyber physical systems based on clock theory. International Journal of Hybrid Information Technology, 6(3), 45–54.