Model Transformations for the Compilation of Multi-processor Systems-on-Chip