@inproceedings{MDA:09,
  author = {Devesh Bhatt and Gabor Madl and David Oglesby and Kirk Schloegel},
  title = {{Towards Scalable Verification of Commercial Avionics Software}},
  booktitle = {{Proceedings of the AIAA Infotech@Aerospace Conference}},
  year = {2010},
  month = {April}
}