Model-Based Failure Analysis with RODON. - Karin Lunde; Rüdiger Lunde; Burkhard Münker (ECAI, 2006)