A new approach to performance evaluation of formally specified protocols. - Stefan Böhmer; Ralf Klafka (FORTE, 1994)