@conference {4303,
	title = {High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study},
	booktitle = {International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session)},
	year = {2011},
	month = {04/2011},
	publisher = {IEEE Computer Society Press},
	organization = {IEEE Computer Society Press},
	address = {Chicago, IL},
	author = {Zhenkai Zhang and Joseph Porter and Kottenstette, Nicholas and Koutsoukos, Xenofon and Sztipanovits, Janos}
}
