Efficient timing analysis algorithms for timed state space explorationTimed event/level structuresVerification of timed systems using POSETS
