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