Problem with references to FSM format

[pierreganty]

The URL https://www.win.tue.nl/vis1/home/apretori/data/fsm.html for the FSM format is dead.
The URL appears in several places in the sources.
There is a copy on archive.org, but I think it is better to point directly to the corresponding page of the mcrl2 project: https://mcrl2.org/web/user_manual/tools/lts.html#language-fsm-lts.

Incidentally, the project libfsm also has a format for finite state automata called FSM.
Consider mentioning it as it is relevant and might induce some confusion.

[mtf90]

Thanks for the heads-up. Since this was an external contribution, I didn't know which alternatives exist. Good on you for shedding some light on this situation.