Verifying, validating and monitoring the open Ravenscar real time kernel. - Ricardo Maia; Flávio Moreira; R. Barbosa; Diamantino Costa; Kjeld Hjortaes; Patricia Rodríguez; Luís Miguel Pinho (IRTAW, 2003)