Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs. - Khan, Shahid; Katoen, Joost-Pieter; Volk, Matthias; Bouissou, Marc (2019)