Various Ways to Quantify BDMPs - Bouissou, Marc; Khan, Shahid; Katoen, Joost-Pieter; Krcal, Pavel (Electronic proceedings in theoretical computer science, 2020)