Title: Software Safety Analysis of a Flight Guidance System