1. FLAME web site.
http://flame.ac.uk
2. MuVeT web site.
http://muvet.ifsoft.ro/e-coli.html
3. ProB web site.
http://www.stups.uni-duesseldorf.de/ProB
4. Spin web site.
http://spinroot.com
5. SUMO project.
http://sysmo-sumo.mpi-magdeburg.mpg.de/trac/wiki/public