@ARTICLE{Paszkowska:IJDSN:2021,
  author = {Agnieszka Paszkowska and Konrad Iwanicki},
  title = {Modeling and proving dynamic behaviors of a routing protocol: A tutorial},
  journal = {International Journal of Distributed Sensor Networks},
  year = {2021},
  month = {December},
  volume = {17},
  number = {12},
  numpages = {42},
  doi = {10.1177/15501477211058667},
  publisher = {SAGE},
}