@incollection{Jasper_2019,
    doi = {10.1007/978-3-030-17502-3_7},
    url = {https://doi.org/10.1007%2F978-3-030-17502-3_7},
    year = {2019},
    publisher = {Springer International Publishing},
    pages = {101--115},
    author = {Marc Jasper and Malte Mues and Alnis Murtovi and Maximilian Schlüter and Falk Howar and Bernhard Steffen and Markus Schordan and Dennis Hendriks and Ramon Schiffelers and Harco Kuppens and Frits W. Vaandrager},
    title = {{RERS} 2019: Combining Synthesis with Real-World Models},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems}
}

@incollection{Jasper_2019, doi = {10.1007/978-3-030-17502-3_7}, url = {https://doi.org/10.1007%2F978-3-030-17502-3_7}, year = {2019}, publisher = {Springer International Publishing}, pages = {101--115}, author = {Marc Jasper and Malte Mues and Alnis Murtovi and Maximilian Schlüter and Falk Howar and Bernhard Steffen and Markus Schordan and Dennis Hendriks and Ramon Schiffelers and Harco Kuppens and Frits W. Vaandrager}, title = {{RERS} 2019: Combining Synthesis with Real-World Models}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems} }