Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).

Frank Ortmeier Wolfgang Reif Gerhard Schellhorn Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). 210-224 http://dx.doi.org/10.1007/11408901_15 2005 conf/edcc/2005 EDCC db/conf/edcc/edcc2005.html#OrtmeierRS05