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 (FORTE, 1996)