Title: Using Formal Specification in the Guidance and Control Software (GCS) Experiment. Formal Design and Verification Technology for Life Critical Systems