Computation of Performance Bounds for Real-Time Systems Using Time Petri Nets | IEEE Journals & Magazine | IEEE Xplore