Jahanian, Hamid, Parker, David, Zeller, Marc, McIver, Annabelle, Papadopoulos, Yiannis, "Failure Mode Reasoning in Model Based Safety Analysis", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020