Title: Formal Representation of the Requirements for an Advanced Subsonic Civil Transport (ASCT) Flight Control System