Algorithmic problems in analysis of real time system specifications