鉄道システムへの誘い_第２回フェイルセーフの仕組み_リレー，マイコン，形式的仕様記述(その2)