Iulian Ober Susanne Graf David Lesens Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. 48-62 2006 conf/fmoods/2006 FMOODS http://dx.doi.org/10.1007/11768869_6 db/conf/fmoods/fmoods2006.html#OberGL06