César Viho Sébastien Barbin Lénaick Tanguy Towards a Formal Framework for Interoperability Testing. 53-68 2001 conf/forte/2001 FORTE db/conf/forte/forte2001.html#VihoBT01