Model and algorithm for efficient verification of high-assurance properties of real-time systems | IEEE Journals & Magazine | IEEE Xplore