Deductive verification of real-time systems using STeP (2001)

by N S Bjorner, Z Manna, H B Sipma, T E Uribe
Venue:Theoretical Computer Science