Yael Meller Orna Grumberg Sharon Shoham A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. 271-288 2009 ATVA http://dx.doi.org/10.1007/978-3-642-04761-9_21 conf/atva/2009 db/conf/atva/atva2009.html#MellerGS09