From UML/SPT models to schedulability analysis: a metamodel-based transformation | IEEE Conference Publication | IEEE Xplore