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

Authors: Kesten, Y Manna, Z Pnueli, A

Citation: Y. Kesten et al., Verification of clocked and hybrid systems, ACT INFORM, 36(11), 2000, pp. 837-912