A formal abstract framework for modelling and testing complex software systems
scientific article; zbMATH DE number 6093073
scientific article