Formal Modeling for UML/MARTE Concurrency Resources | Publicación