References

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

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org