Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets | Publicación