Kristoffer Nyborg Gregertsen, Amund Skavhaug. A Real-Time Framework for Ada 2005 and the Ravenscar Profile. In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings. pages 515-522, IEEE Computer Society, 2009. [doi]