20pts Finite State Machine: SpaceX is developing an automated process to launch their rockets. The launch sequence checks these states in sequence:

S1) Propellent pressure reading OK

S2) Range is clear

S3) Engine gimbal motion tests OK

S4) Propellent pumps spin-up OK

If S1 fails, the launch state remains in its initial state until S1 OK

If S2 fails, the launch state returns to its initial state

If S3 fails, the launch sequence must recheck if the range is clear

If S4 passes, the sequence goes to its final state for lift-off

Build a FSM for this launch sequence.

4b) Extra Credit 10pts: implement your FSM using gates and D Latches (you may box the D latches with D and Clock as inputs, and Q and notQ as outputs).

please can you help me with this question