Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models | Publicación