Title: Analysis of the Modes and States for Generic Avionics