Using formal specification and simulation: practical experience with distributed applications. - Willem Hengeveld; Peter van der Toorn; Geert-Jan Houben (FORTE, 1994)