Formal Verification of Timed Systems: A Survey and Perspective | IEEE Journals & Magazine | IEEE Xplore