@inproceedings{cyphy2011,
	Address = {Istanbul, Turkey},
	Author = {Davide Bresolin and Luigi Di Guglielmo and Luca Geretti and Tiziano Villa},
	Booktitle = {Proceedings of CyPhy'11: 1st IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems},
	Month = jul,
	Publisher = {IEEE Comp. Society Press},
	Title = {Correct-by-construction code generation from hybrid automata specification},
	Year = {2011}
}