Mocha: Modularity in model checking (1998)

by R Alur, T A Henzinger, F Y C Mang, S Qadeer, S K Rajamani, S Ta¸siran
Venue:In CAV 1998: Tenth International Conference on Computer-aided Verification (LNCS Volume 1427