Improving Ariadne's Bundle by following multiple threads in abstraction refinement | IEEE Conference Publication | IEEE Xplore