Z. Pap, “Standardized event pair based test generation method using TSS&TP”, Acta Cybern, vol. 15, no. 4, pp. 653-667, Jan. 2002.