Mohammed Benattou Leo Cacciari Régis Pasini Omar Rafiq Principles and Tools for Testing Open Distributed Systems. 77-92 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#BenattouCPR99