Laurent David Isabelle Puaut Static Determination of Probabilistic Execution Times. 223-230 2004 conf/ecrts/2004 ECRTS http://doi.ieeecomputersociety.org/10.1109/ECRTS.2004.34 db/conf/ecrts/ecrts2004.html#DavidP04