@misc(mCRL2,
 title        = {{mCRL2} Homepage},
 howpublished = {\url{http://www.mcrl2.org/}},
 note         = {Accessed: 2017-01-13},
)
@article(TSCH2012,
 year         = {2012},
 title        = {{IEEE Standard for Local and Metropolitan Area Networks\textemdash Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPANs)}, Amendment 1: MAC Layer},
 journal      = {IEEE Computer Society},
 volume       = {2012},
 doi          = {10.1109/IEEESTD.2012.6185525},
)
@article(TSCH2015,
 year         = {2016},
 title        = {{IEEE 802.15.4-2015 - IEEE Standard for Low-Rate Wireless Networks}},
 journal      = {IEEE Computer Society},
 doi          = {10.1109/IEEESTD.2016.7460875},
)
@inproceedings(dandelski2016rll,
 author       = {Conrad Dandelski and Bernd-Ludwig Wenning and Michael Kuhn and Dirk Pesch},
 year         = {2016},
 title        = {{RLL-reliable low latency broadcast data dissemination in dense wireless lighting control networks}},
 booktitle    = {Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on},
 organization = {IEEE},
 pages        = {1--8},
 doi          = {10.1109/ETFA.2016.7733751},
)
@article(802.15.4e-survey,
 author       = {De Guglielmo, Domenico and Simone Brienza and Giuseppe Anastasi},
 year         = {2016},
 title        = {{IEEE 802.15. 4e: A survey}},
 journal      = {Computer Communications},
 volume       = {88},
 pages        = {1--24},
 doi          = {10.1016/j.comcom.2016.05.004},
)
@book(fokkink2013distributed,
 author       = {Wan Fokkink},
 year         = {2013},
 title        = {Distributed Algorithms: An Intuitive Approach},
 publisher    = {The MIT Press},
)
@article(gallager1983distributed,
 author       = {Robert G. Gallager and Pierre A. Humblet and Philip M. Spira},
 year         = {1983},
 title        = {A distributed algorithm for minimum-weight spanning trees},
 journal      = {ACM Transactions on Programming Languages and systems (TOPLAS)},
 volume       = {5},
 number       = {1},
 pages        = {66--77},
 doi          = {10.1145/357195.357200},
)
@article(garay1998sublinear,
 author       = {Juan A Garay and Shay Kutten and David Peleg},
 year         = {1998},
 title        = {A sublinear time distributed algorithm for minimum-weight spanning trees},
 journal      = {SIAM Journal on Computing},
 volume       = {27},
 number       = {1},
 pages        = {302--316},
 doi          = {10.1137/S0097539794261118},
)
@techreport(grieco2015using,
 author       = {L Grieco},
 year         = {2015},
 title        = {{Using IEEE 802.15. 4e Time-Slotted Channel Hopping (TSCH) in the Internet of Things (IoT): Problem Statement}},
 type         = {Technical Report},
 doi          = {10.1109/IEEESTD.2012.6185525},
)
@book(groote2014modeling,
 author       = {Jan Friso Groote and Mohammad Reza Mousavi},
 year         = {2014},
 title        = {Modeling and analysis of communicating systems},
 publisher    = {The MIT press},
)
@inproceedings(gross2007does,
 author       = {Gro{\ss}, Christian and Holger Hermanns and Reza Pulungan},
 year         = {2007},
 title        = {Does clock precision influence ZigBee’s energy consumptions?},
 booktitle    = {International Conference on Principles of Distributed Systems},
 organization = {Springer},
 pages        = {174--188},
 doi          = {10.1007/978-3-540-77096-1\_13},
)
@inproceedings(kauer2016formal,
 author       = {Florian Kauer and Maximilian K{\"o}stler and Tobias L{\"u}bkert and Volker Turau},
 year         = {2016},
 title        = {{Formal Analysis and Verification of the IEEE 802.15. 4 DSME Slot Allocation}},
 booktitle    = {Proceedings of the 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems},
 organization = {ACM},
 pages        = {140--147},
 doi          = {10.1145/2988287.2989148},
)
@book(lynch1996distributed,
 author       = {Nancy A Lynch},
 year         = {1996},
 title        = {Distributed algorithms},
 publisher    = {Morgan Kaufmann},
)