Model-Driven Engineering for Distributed Real-Time Systems: MARTE Modeling, Model Transformations and their Usages - Testing Model Transformations: A Case for Test Generation from Input Domain Models
www.irisa.fr hal.inria.fr