H. Beek, A. Fantechi, S. Gnesi and F. Mazzanti, “State/ Event-Based Software Model Checking,” Proceedings of 4th International Conference on Integrated Formal Methods, Springer, Canterbury, Vol. 2999, 2004, pp. 128-147.

has been cited by the following article: