@conference{Hoefner_Hermanns_17,
    address          = {Uppsala, Sweden},
    author           = {Höfner, Peter and Hermanns, Holger},
    booktitle        = {2nd Workshop on Models for Formal Analysis of Real Systems},
    date             = {2017-3-15},
    doi              = {https://doi.org/10.4204/EPTCS.244},
    month            = mar,
    numpages         = {1},
    paperurl         = {https://trustworthy.systems/publications/full_text/Hoefner_Hermanns_17.pdf},
    publisher        = {Open Publishing Association},
    series           = {Electronic Proceedings in Theoretical Computer Science 244},
    title            = {Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems},
    volume           = {244},
    year             = {2017}
  }