Efficient Temporal Logic Verification by Incremental Abstraction | IEEE Conference Publication | IEEE Xplore