Verifying, validating and monitoring the open Ravenscar real time kernel | Publicación