an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
generates HTML documentation for C++ classes, based on your source code and special comments embedded within it. It can produce output that is very similar to the output of Javadoc, and it supports Javadoc tags such as @see, @return , etc.