A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
scientific article; zbMATH DE number 5131650