@inbook{vanGlabbeek_GH_15,
    author           = {van Glabbeek, Robert and Groote, Jan Friso and H\"ofner, Peter},
    booktitle        = {Electronic Proceedings in Theoretical Computer Science},
    editor           = {{Robert J. van Glabbeek, Jan Friso Groote and Peter H\"ofner}},
    issn             = {2075-2180},
    month            = nov,
    pages            = {-},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9088.pdf},
    publisher        = {Open Publishing Association},
    title            = {Preface: {P}roceedings of the Workshop on Models for Formal Analysis of Real Systems},
    volume           = {196},
    year             = {2015}
  }