Preservation of Timing Properties with the Ada Ravenscar Profile | Publicación