Authors: Bjorner, NS Manna, Z Sipma, HB Uribe, TE

Citation: Ns. Bjorner et al., Deductive verification of real-time systems using STeP, THEOR COMP, 253(1), 2001, pp. 27-60