Better is better than well: on efficient verification of infinite-state systems | IEEE Conference Publication | IEEE Xplore