Abstraction and Modular Verification of Infinite-State Reactive Systems
by Manna, Z. and Colon, M. and Finkbeiner, B. and Sipma, H. and Uribe, T.
in RTSE'98
