An ant colony optimization technique for abstraction-guided state justification | IEEE Conference Publication | IEEE Xplore