Reachability Analysis of Time-Critical Systems