%0 Conference Proceedings
%F andalam10b
%A Andalam, S.
%A Roop, P.S.
%A Girault, A.
%T Predictable Multithreading of Embedded Applications Using {PRET-C}
%B International Conference on Formal Methods and Models for Codesign, MEMOCODE'10
%C Grenoble, France
%8 July
%D 2010