An algorithm for strengthening state invariants generated from requirements specifications | IEEE Conference Publication | IEEE Xplore