Chao Wang Roderick Bloem Gary D. Hachtel Kavita Ravi Fabio Somenzi Compositional SCC Analysis for Language Emptiness. 5-36 2006 28 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-006-4617-3 db/journals/fmsd/fmsd28.html#WangBHRS06