Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
scientific article; zbMATH DE number 2195847