%0 Conference Proceedings %F DAVI:04a %A David, L. %A Puaut, I. %T Static Determination of Probabilistic Execution Times %B Proc. of the 16th Euromicro Conference on Real-Time Systems %P 223-230 %C Catania, Sicily, Italy %U http://www.irisa.fr/caps/publications/pdfs/ECRTS04.pdf %8 July %D 2004