@inbook{a0bb573c4acc4ed5884739c188b760a4,
title = "Boosting Fault Tree Analysis by Formal Methods",
abstract = "Fault trees are a key technique in safety and reliability engineering. Their application includes aerospace, nuclear power, car, and process engineering industries. Various fault tree extensions exist that increase expressiveness while yielding succinct models. Their analysis is a main bottleneck: techniques do not scale and require manual effort. Formal methods have an enormous potential to solve these issues. We discuss a mixture of formal method techniques resulting in a fully automated and scalable approach to analyze Dugan{\textquoteright}s dynamic fault trees.",
author = "Katoen, {Joost P.} and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
year = "2017",
month = oct,
day = "15",
doi = "10.1007/978-3-319-68270-9_19",
language = "English",
isbn = "978-3-319-68269-3",
series = "Lecture notes in computer science",
pages = "368--380",
editor = "Joost-Pieter Katoen and Rom Langerak and Arend Rensink",
booktitle = "ModelEd, TestEd, TrustEd",
}