Pap Zoltán and Rétháti Zoltán and Horváth Róbert and Adamis Gusztáv: Standardized event pair based test generation method using TSS&TP. In: Acta cybernetica, (15) 4. pp. 653-667. (2002)