Efficient computation of small abstraction refinements | IEEE Conference Publication | IEEE Xplore