Tullio Vardanega, Gert Caspersen. Using the Ravenscar profile for space applications: the OBOSS case. In Benjamin M. Brosgol, Michael González Harbour, editors, Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. pages 96-104, ACM, 2000. [doi]
Abstract is missing.