TTool, an open-source UML toolkit for modeling and verifying embedded systems
TTool is developed at Telecom ParisTech, http://ttool.telecom-paristech.fr
-------------------------------------------------------------------------------

Directory generally configured as the one for saving graphs, including reachability graphs and minimized graphs