1. Composing specifications;Abadi;ACM Trans. Prog. Lang. Systems,1993
2. R. Alur, T.A. Henzinger, Reactive modules, 11th Annual IEEE Symp. Logic in Computer Science (LICS ’96), 1996.
3. Mocha: modularity in model checking;Alur,1998
4. Combining symbolic model checking with uninterpreted functions for out-of-order processor verification;Berezin,1998
5. Automatic verification of pipelined microprocessor control, in: Computer-Aided Verification (CAV ’94);Burch,1994