Hybrid Automaton Based Nominal and Contingency Planning for an Over-Actuated Tandem Tiltwing eVTOL Aircraft