书目详细信息 : Fail-safe principle of railway signaling