Building high-integrity distributed systems with Ravenscar restrictions. volume XXVII, (2007)

by Santiago Uruena, Juan Zamorano
Venue:Proceedings of the 13th International Real-Time Ada Workshop (IRTAW