A simulation technique for communications protocols based on a formal specification by SDL. - Wolfgang Fischer 002; Klaus Sauer; W. Denzel (PSTV, 1985)