Model checking procedures for infinite state systems | IEEE Conference Publication | IEEE Xplore