Orna Kupferman Moshe Y. Vardi An automata-theortetic approach to modular model checking. 87-128 2000 22 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/345099.345104 db/journals/toplas/toplas22.html#KupfermanV00