@misc{indiciae265415d92030,
  title = {Proceedings FM-09 Workshop on Formal Methods for Aerospace},
  author = {Manuela Bujorianu and Michael Fisher},
  year = {2010},
  doi = {10.4204/eptcs.20},
  url = {https://arxiv.org/abs/1003.5363},
  note = {Source identifier: 1003.5363}
}