@inproceedings{SEKE-2001-GomezAG,
	author        = "Rodolfo Gómez and Juan Carlos Augusto and Antony Galton",
	booktitle     = "{Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering}",
	pages         = "341--345",
	title         = "{Testing an Event Specification Language}",
	year          = 2001,
}