Andreas Ulrich Hartmut König Specification-based Testing of Concurrent Systems. 7-22 1997 conf/forte/1997 FORTE db/conf/forte/forte1997.html#UlrichK97