Interface Building for Software by Modular Three-Valued Abstraction Refinement. - Roy, Pritam (CoRR, 2010)