Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho. Verifying, validating and monitoring the open Ravenscar real time kernel. In Tullio Vardanega, editor, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. pages 74-81, ACM, 2003. [doi]
Abstract is missing.