A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models | Publicación