Klaus Barthelmann Process Specification and Verification. 225-239 1994 conf/tagt/1994 TAGT db/conf/tagt/tagt1994.html#Barthelmann94