@article{Mitsch2014, author = "Stefan Mitsch and Grant Olney Passmore and Andre Platzer", title = "{Collaborative Verification-Driven Engineering of Hybrid Systems}", year = "2014", month = "3", url = "https://kilthub.cmu.edu/articles/journal_contribution/Collaborative_Verification-Driven_Engineering_of_Hybrid_Systems/6604148", doi = "10.1184/R1/6604148.v1" }