David Chemouil The Design of Spacecraft On-Board Software. 3 2007 conf/b/2007 B http://dx.doi.org/10.1007/11955757_3 db/conf/b/b2007.html#Chemouil07