An Abstraction Technique for Real-Time Verification -- SCADE: Synchronous