Nikolaj Bjørner Anca Browne Edward Y. Chang Michael Colón Arjun Kapur Zohar Manna Henny Sipma Tomás E. Uribe STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. 415-418 1996 conf/cav/1996 CAV db/conf/cav/cav96.html#BjornerBCCKMSU96 http://dx.doi.org/10.1007/3-540-61474-5_92