The figure below depict a maze. STOP 0 1 2 north 3 4 5 12 west east south 6 7 B Write a description of the maze in FSP, which using deadlock analysis provided by LTSA, finds the shortest path out of the maze starting at any square. (Hint) At each numbered square in the mare, a directional action can be used to indicate an allowed path to another square.