@inproceedings{DBLP:conf/birthday/SchlatteJMTY18,
 author = {<NAME> and
<NAME> and
<NAME> and
<NAME> and
<NAME>},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/bib/conf/birthday/SchlatteJMTY18},
 booktitle = {It's All About Coordination - Essays to Celebrate the Lifelong Scientific
Achievements of Farhad Arbab},
 crossref = {DBLP:conf/birthday/2018arbab},
 doi = {10.1007/978-3-319-90089-6_8},
 pages = {107--121},
 timestamp = {Sat, 11 Aug 2018 00:57:41 +0200},
 title = {Release the Beasts: When Formal Methods Meet Real World Data},
 url = {https://doi.org/10.1007/978-3-319-90089-6_8},
 year = {2018}
}

