Frédéric Mallet Robert de Simone MARTE: a profile for RT/E systems modeling, analysis--<i>and simulation</i>? 43 2008 SimuTools http://doi.acm.org/10.1145/1416222.1416271 conf/simutools/2008 db/conf/simutools/simutools2008.html#MalletS08