Using SDL for Implementing a Wireless Medium Access Control Protocol. - Marko Htiniktinen; Jarno Knuutila; Timo Hämäläinen 001; Jukka Saarinen (ISMSE, 2000)