openDSME: Reliable Time-Slotted Multi-Hop Communication for IEEE 802.15.4 Kauer, Florian Köstler, Maximilian Turau, Volker 2019 - TUHH Open Research
Formal analysis and verification of the IEEE 802.15.4 DSME slot allocation Kauer, Florian Köstler, Maximilian Lübkert, Tobias Turau, Volker 2016 - TUHH Open Research