Model Checking the Multi-Formalism Language FIGARO. - Shahid Khan 002; Matthias Volk 001; Joost-Pieter Katoen; Alexis Braibant; Marc Bouissou (DSN, 2021)