@conference{Gallager_GS_18,
    address          = {Thessaloniki, Greece},
    author           = {Gallager, John and van Glabbeek, Robert and Serwe, Wendelin},
    booktitle        = {Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on
                        Verification and Program Transformation},
    date             = {2018-3-23},
    doi              = {https://doi.org/10.4204/EPTCS.268},
    editor           = {{John P. Gallagher, Robert J. van Glabbeek and Wendelin Serwe}},
    issn             = {2075-2180},
    keywords         = {Modelling; formal analysis; verification; program transformation},
    month            = mar,
    numpages         = {199 p},
    paperurl         = {https://trustworthy.systems/publications/full_text/Gallager_GS_18.pdf},
    publisher        = {Open Publishing Association},
    series           = {EPTCS 268},
    title            = {Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International
                        Workshop on Verification and Program Transformation},
    volume           = {268},
    year             = {2018}
  }