Mode automata and their compilation into fault trees

Antoine Rauzy. Mode automata and their compilation into fault trees. Rel. Eng. & Sys. Safety, 78(1):1-12, 2002. [doi]

Abstract

Abstract is missing.