@inproceedings{Kamali_HKP_15,
    address          = {York, UK},
    author           = {Kamali, Mojgan and H\"ofner, Peter and Kamali, Maryam and Petre, Luigia},
    booktitle        = {Software Engineering and Formal Methods},
    month            = sep,
    pages            = {15},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8831.pdf},
    title            = {Formal Analysis of Proactive, Distributed Routing},
    year             = {2015}
  }