Modeling and Validation of a Software Architecture for the Ariane-5 Launcher