Peruffo A, Abate A2021Conference paper Journal:FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2021Volume:12860, pp.135 - 153No abstract available DOI10.1007/978-3-030-85037-1_9