eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. - Matej Troják; David Safránek; Branislav Brozmann; Lubos Brim (CMSB, 2022)