A Tool for Specification and Simulation, and its Application to ISDN D-Channel Protocol.

Joachim Swoboda Berthold Köhler Alfred Bächle A Tool for Specification and Simulation, and its Application to ISDN D-Channel Protocol. 537-542 1986 ICCC db/conf/iccc/iccc1986.html#SwobodaKB86