"Model driven resource usage simulation for critical embedded systems."

Michaël Lafaye et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics