@misc{indiciaea92143c40723,
  title = {Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode},
  author = {Mahmoud Talebi and Jan Friso Groote and Conrad Dandelski},
  year = {2017},
  doi = {10.4204/eptcs.244.5},
  url = {https://arxiv.org/abs/1703.06572},
  note = {Source identifier: 1703.06572}
}