@inproceedings{Drury_HW_20,
    address          = {Dublin, Ireland},
    author           = {Drury, Jack and H\"{o}fner, Peter and Wang, Weiyou},
    booktitle        = {MARS2020},
    date             = {2020-4-26},
    month            = apr,
    pages            = {72--120},
    paperurl         = {https://trustworthy.systems/publications/full_text/Drury_HW_20.pdf},
    publisher        = {EPTCS},
    title            = {Formal models of the {OSPF} routing protocol},
    year             = {2020}
  }