6Neil Storey. Safety2Critical Computer Systems [ M ]. Har2low, England: A ddison2Wesley, 1995.113-160
7Fokko van D ijk EU R IS. A Specification Method for Distributed Interlockings[ A ]. In: LNCS1516, Computer Safe2ty, Reliability and Security [ C ]. London: Springer2Ver21 ag, 1998.296-305