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