Pap, Z. 2002. Standardized event pair based test generation method using TSS&TP. Acta Cybernetica. 15, 4 (Jan. 2002), 653-667.