@inproceedings{Bres_GH_16,
    address          = {Eindhoven, The Netherlands},
    author           = {Bres, Emile and van Glabbeek, Robert and H\"ofner, Peter},
    booktitle        = {European Symposium on Programming},
    doi              = {10.1007/978-3-662-49498-1_5},
    editor           = {{P. Thiemann}},
    month            = apr,
    pages            = {95--122},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9051.pdf},
    publisher        = {Springer},
    title            = {A Timed Process Algebra for Wireless Networks with an Application in Routing (extended abstract)},
    year             = {2016}
  }