Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits,
"High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study",
International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.