Title: Flight Guidance System Validation Using SPIN