@inbook{Hermanns_Hoefner_17,
    author           = {Hermanns, Holger and H\"ofner, Peter},
    booktitle        = {Electronic Proceedings in Theoretical Computer Science},
    issn             = {2075-2180},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9539.pdf},
    title            = {Preface: Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems},
    volume           = {244},
    year             = {2017}
  }