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