Stephen Michell. Practical implementations of embedded software using the Ravenscar Profile. In William Currie Colket, editor, Proceedings of the 11th International Workshop on Real-Time Ada, IRTAW 2002, Mont-Tremblant, Quebec, Canada, April 8-12, 2002. pages 28-36, ACM, 2002. [doi]
Abstract is missing.