Object-oriented design of real-time systems with stereotypes | Publicación