Formal techniques for verification of complex real-time systems by