Timed Testing of Concurrent Systems Walter Vogler 149-171 Inf. Comput. September 1995 121 2 db/journals/iandc/iandc121.html#Vogler95b