Model reduction using the orthogonality between overapproximate slicing and abstract | IEEE Conference Publication | IEEE Xplore