Jerraya, A. A., Nicolescu, G., & Yoo, S. (2004). Modèle de simulation pour logiciel et systèmes d'exploitation enfouis. In Spécification et validation des systèmes monopuces (101-120). External link