Characterization of blocking time in real-time systems with dynamic priority ceilings | Publicación