Using formal specification and simulation: practical experience with distributed applications.

Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben

Browse the full FORTE paper archive.