摘要: A brief description of the Computer Based Interlocking system that is to be introduced in Norway given and requirements for presenting a safety case are described. Problems actually fulfilling those lessons learnt explained.
springer.com
acm.org 
sci-hub.st 参考文章(2)
Øystein Skogstad, Experiences with Safety Case Documentation According to the CENELEC Railway Safety Norms Springer, London. pp. 26- 47 ,(1999) , 10.1007/978-1-4471-0823-8_2
Towards System Safety Springer London. ,(1999) , 10.1007/978-1-4471-0823-8