Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn. Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). In Mario Dal Cin, Mohamed Kaâniche, András Pataricza, editors, Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings. Volume 3463 of Lecture Notes in Computer Science, pages 210-224, Springer, 2005. [doi]
Abstract is missing.