SPEET SDL performance evaluation tool. - Martin Steppler; Matthias Lott (SDL Forum, 1997)

Performance analysis of communication systems formally specified in SDL. - Martin Steppler (WOSP, 1998)