1. J. Corbett, M. Dwyer, J. Hatcliff et al., Bandera: Extracting finite-state models from Java source code, in: Proc. Int. Conf. on Software Engineering, 2000, pp. 439–458
2. H. Zhang, J.S. Bradbury, J.R. Cordy, J. Dingel, A transformational framework for testing and model checking implicit-invocation systems, in: Proc. Int. Work. on Distr. Event-Based Systems, DEBS’04, 2004, pp. 110–115
3. H. Zhang, J.S. Bradbury, J.R. Cordy, J. Dingel, Implementation and verification of implicit-invocation systems using source transformation, in: Proc. Int. Work. on Source Code Analysis and Manipulation, SCAM 2005, 2005, pp. 87–96
4. D. Garlan, S. Khersonsky, Model checking implicit-invocation systems, in: Proc. Int. Work. on Software Spec. and Design, 2000, pp. 23–30
5. D. Garlan, S. Khersonsky, J. Kim, Model checking publish-subscribe systems, in: Proc. Int. SPIN Work. on Model Checking of Software, 2003, pp. 166–180