From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation