Refactoring, refinement, and reasoning: A logical characterization for hybrid systems

@inproceedings{DBLP:conf/fm/MitschQP14,
	pdf = {pub/refactoring.pdf},
	slides = {pub/refactoring-slides.pdf},
	author = {['Stefan Mitsch', 'Jan-David Quesel', 'André Platzer']},
	title = {Refactoring, Refinement, and Reasoning:
               A Logical Characterization for Hybrid
               Systems},
	booktitle = {FM},
	year = {2014},
	pages = {481-496},
	doi = {10.1007/978-3-319-06410-9_33},
	editor = {['Cliff B. Jones', 'Pekka Pihlajasaari', 'Jun Sun']},
	longbooktitle = {FM 2014: Formal Methods, 19th
               International Symposium on Formal
               Methods, Singapore, May 12-16, 2014,
               Proceedings},
	publisher = {Springer},
	volume = {8442}
}