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