Martin Steppler Performance analysis of communication systems formally specified in SDL. 49-62 1998 WOSP http://doi.acm.org/10.1145/287318.287329 db/conf/wosp/wosp1998.html#Steppler98