CTTE: an environment for analysis and development of task models of cooperative applications

Tool-support is strongly required in order to ease the use of task models and make them acceptable to a large number of designers. CTTE is an automatic environment that has been developed for this purpose. This tool can be useful to better develop and analyse task models and their dynamic behaviour including those for cooperative applications.