Dieter Haban DTM - A Method for Testing Distributed Systems. 66-73 1987 SRDS db/conf/srds/srds87.html#Haban87