Model Verification of a Satellite with Large Flexible Appendages for Control System Design