Benjamin Bittner: Formal failure analyses for effective fault management: an aerospace perspective. University of Trento, Italy 2016