rootbrowseIAC-09D1session 44. Space Systems ArchitecturesPapers1. Stakeholder Value Analysis of Architecture Alternatives for Sustainable Space Systems Developments2. Using OPN for Comparing Fault-Tolerant GN&C System Architectures3. Formal Modeling for Satellite Network Simulation4. Deployment strategies for a formation of pico-satellites5. Design of a Multi-Agent System for Cost Reduction in Multi-Craft Space Missions6. software based contingency operation methods of a low earth orbit satellite7. Model Organization: An Effective Technique in Model Driven Development of On-board Software for Spacecraft Bus Management Unit8. Software reuse for common EGSE and MCS9. Systems Architecture for the Crew Mission Trainer10. FROM CRADLE TO GRAVE – TEST, VERIFICATION AND MISSION CONTROL IN A LIGHTSAT PROJECT