MOCHA: modularity in model checking. (1998)

by R Alur, T A Henzinger, F Y C Mang, S Qadeer, S K Rajamani, S Tasiran
Venue:In Computer Aided Verification, 10th International Conference, CAV ’98, Proceedings,