Michael R. Lowry Software Construction and Analysis Tools for Future Space Missions. 1-19 2002 conf/tacas/2002 TACAS http://dx.doi.org/10.1007/3-540-46002-0_1 db/conf/tacas/tacas2002.html#Lowry02