@Inproceedings{EPTCS20.6, author = {Dennis, Louise A. and Fisher, Michael and Lincoln, Nicholas and Lisitsa, Alexei and Veres, Sandor M.}, year = {2010}, title = {Agent Based Approaches to Engineering Autonomous Space Software}, editor = {Bujorianu, Manuela and Fisher, Michael}, booktitle = {{\rm Proceedings FM-09 Workshop on} Formal Methods for Aerospace, {\rm Eindhoven, The Netherlands, 3rd November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {20}, publisher = {Open Publishing Association}, pages = {63-67}, doi = {10.4204/EPTCS.20.6}, }