@techreport{Bres_GH_16:tr,
    address          = {Sydney, Australia},
    author           = {Bres, Emile and van Glabbeek, Robert and H\"ofner, Peter},
    institution      = {NICTA},
    issn             = {1833-9646-9145},
    month            = feb,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9145.pdf},
    title            = {A Timed Process Algebra for Wireless Networks with an Application in Routing},
    year             = {2016}
  }