@INPROCEEDINGS{Paszkowska:DCOSS:2018,
  author = {Agnieszka Paszkowska and Konrad Iwanicki},
  title = {On Designing Provably Correct {DODAG} Formation Criteria
    for the {IPv6} Routing Protocol for Low-Power and Lossy Networks ({RPL})},
  booktitle = {{DCOSS}~2018: Proceedings of the 14th IEEE International
    Conference on Distributed Computing in Sensor Systems},
  year = {2018},
  address = {New York City, NY, USA},
  month = {June},
  publisher = {IEEE},
  note = {Received the Best Paper Award},
  pages = {43--52},
  doi = {10.1109/DCOSS.2018.00014},
}