Cédric Besse, Ana R. Cavalli, Myungchul Kim, Fatiha Zaïdi: Automated Generation of Interoperability Tests. TestCom 2002: 169-