Collaborative verification-driven engineering of hybrid systems

@article{DBLP:journals/mics/MitschPP14,
	pdf = {pub/proofide.pdf},
	author = {['Stefan Mitsch', 'Grant Olney Passmore', 'André Platzer']},
	title = {Collaborative Verification-Driven
               Engineering of Hybrid Systems},
	journal = {Mathematics in Computer Science},
	volume = {8},
	number = {1},
	year = {2014},
	pages = {71-97},
	doi = {10.1007/s11786-014-0176-y}
}