1. How could you analyze the property of equivalence between two different systems described in terms of FSMs? Could you make use of .an FSM interpreter? 2. Give a complete description of the library System described in possibly integrating the use of DFDs with other notations. 3. Give an algebraic specification of the module FIFO_CARS introduced.