1 |
D.K. Shin, K.H. Shin, K.M. Lee, J.H. Lee (2011) Study on the specification development of the safety-critical Korean high-speed rail interlocking equipment (in Korea), 2011 Spring Conference of the Korean Society for Railway, Hoengseong, pp. 101-108.
|
2 |
K.Y. Song, J.S. Choi, J.K. Choi, S.Y. Heo (2012) Interlocking Types (in Korea), Korea Rail Network Authority, KR S-06020 Rev.4
|
3 |
J. Jacky (1996) The way of Z : Practical programming with formal methods, Cambridge university press, Cambridge.
|
4 |
B. Potter, J. Sinclair, D. Till (1996) An Introduction to Formal Specification and Z, Prentic Hall, New Jersey.
|
5 |
A. Janota (2000) Using Z Specification for Railway Interlocking Safety, Periodica Polytechnica Transportation Engineering, 28(1-2), pp. 39-53.
|
6 |
K. Kanso, A. Setzer (2009) Specifying Railway Interlocking Systems, Ninth International Workshop on Automated Verification of Critical Systems, Swansea, UK.
|
7 |
http://people.umass.edu/gmhwww/595t/text.htm (Accessed 1 November 2016).
|
8 |
M. Saaltink (1999) The Z/EVES 2.0 User's Guide, ORA Canada, Ottawa, Ontario.
|
9 |
S.A. Khan, N.A. Zafar (2009) Towards the Formalization of Railway Interlocking System using Z-Notations, 2009 2nd International Conference on Computer, Control and Communication, Karachi Sindh, Pakistan.
|