Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. - L. Ruhai Cai; Jeremy S. Bradbury; Jürgen Dingel (FMOODS, 2007)