Principles and Tools for Testing Open Distributed Systems. - Mohammed Benattou; Leo Cacciari; Régis Pasini; Omar Rafiq (IWTCS, 1999)