The latest version can be found at: http://tla.mpi.nl/tools/tla-tools/trova/
This manual was last updated in May 2013
Table of Contents