Riccobene, Scandurra, 2009. Model transformations in the UPES/UPSoC development process for embedded systems.. https://doi.org/10.1007/s11334-009-0080-9