MOCHA: Modularity in model checking (1998)

by R Alur, T Henzinger, F Mang, S Qadeer, S Rajamani, S Tasiran
Venue:In Proc. of the Tenth Int. Conference on Computer Aided Verification, LNCS 1427