Reachability analysis of real-time systems using time Petri nets | IEEE Journals & Magazine | IEEE Xplore