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. 387-414 2009 16 Autom. Softw. Eng. 3-4 http://dx.doi.org/10.1007/s10515-008-0045-5 db/journals/ase/ase16.html#GherbiK09