The following publications are possibly variants of this publication:
- Deductive Verification of Real-Time Systems Using STePNikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe. arts 1997: 22-43
- Deductive Verification of Hybrid Systems Using STePZohar Manna, Henny Sipma. hybrid 1998: 305-318
- STeP: Deductive-Algorithmic Verification of Reactive and Real-Time SystemsNikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe. cav 1996: 415-418