Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE | Publicación