Model driven engineering for distributed real-time systems : MARTE modeling, model transformations and their usages - Babau, Jean-Philippe (ISTE, 2010)