MARTE's Schedulability sub-package (SAM): From theory to implementation
B. Kumar, J. Jasperneite, in: 2010.