Willem Hengeveld Peter van der Toorn Geert-Jan Houben Using formal specification and simulation: practical experience with distributed applications. 151-162 1994 conf/forte/1994 FORTE db/conf/forte/forte1994.html#HengeveldTH94