- On-Board Autonomy via Symbolic Model Based Reasoning, by M. Bozzano, A. Cimatti, A. Guiotto, A. Martelli, M. Roveri, A. Tchaltsev and Y. Yushtein. In 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA'2008). 11 - 13 November 2008, ESA/ESTEC, Noordwijk, The Netherlands. (pdf)
- On Board Model Checking for Space Applications, by A. Cimatti, A. Guiotto and M. Roveri. In ESA Workshop on Avionics Data, Control and Software Systems (ADCSS). 29 - 31 October 2008, ESA/ESTEC, Noordwijk, The Netherlands. (pdf)
- A Comprehensive Approach to On-Board Autonomy Verification and Validation, by M. Bozzano, A. Cimatti, M. Roveri, and A. Tchaltsev. In ICAPS 2009 Workshop on Verification and Validation of Planning and Scheduling Systems. September 20, 2009. Thessaloniki, Greece. (pdf)