The design and implementation of the open Ravenscar kernel. - Juan Antonio de la Puente; Juan Zamorano; José F. Ruiz; Ramón Fernández 002; Rodrigo García (IRTAW, 2000)