Download Real Time Systems: Formal Specification And Automatic Verification