Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System.

Wolfgang Kellerer Andreas Iselt R. Riek Using SDL for the Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an Embedded Microcontroller System. 419-434 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#KellererIR96