Rodolfo Gómez Juan Carlos Augusto Antony Galton Testing an Event Specification Language. 341-345 2001 conf/seke/2001 SEKE db/conf/seke/seke2001.html#GomezAG01