An automata-theoretic approach to modular model checking (2000)

by O Kupferman, M Y Vardi
Venue:ACM Trans. Program. Lang. Syst