Real-Time Systems Development with Duration Calculi: An Overview | Publicación