IDES 2.1 http://joy.ece.queensu.ca/deslab/software.php
LTS Analyser http://www.doc.ic.ac.uk/ltsa/
Snoopy 2.0 http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Snoopy
INA para windows http://www2.informatik.hu-berlin.de/~starke/ina.html