Tullio Vardanega. Ravenscar design patterns?: reflections on use of the Ravenscar profile. 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 65-73, ACM, 2003. [doi]
Abstract is missing.