From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Abdelouahed Gherbi, Ferhat Khendek. From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. Automated Software Engineering, 16(3-4):387-414, 2009. [doi]

Abstract

Abstract is missing.