Andreas Ulrich Hartmut König Architectures for Testing Distributed Systems. 93-108 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#UlrichK99