Implementing and using execution time clocks in Ada hard real-time applications | Publicación