Transformations to analysis models

This deliverable describes and implements the model transformation techniques to obtain simulation and verification models from the application models, as developed in T3.1.