@article{Platzer2018, author = "Andre Platzer and Jan-David Quesel and Philipp Rummer", title = "{Real World Verification}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Real_World_Verification/6608804", doi = "10.1184/R1/6608804.v1" }