Santiago Urueña, Juan Zamorano. Building high-integrity distributed systems with Ravenscar restrictions. In Juan Antonio de la Puente, editor, Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007. pages 29-36, ACM, 2007. [doi]
Abstract is missing.