Modeling distributed real-time systems with MAST 2 | Publicación