TTool (TURTLE Toolkit). TURTLE (Timed UML and RT-LOTOS Environment) is a real-time UML profile. The semantics of TURTLE is formally defined by a translation into RT-LOTOS. Formal verification and simulation of a TURTLE profile is enabled by the TTool by translating a TURTLE diagram into a RT-LOTOS specification and using RTL for the generation of its reachability graph, which can be analysed, verified and minimized using CADP.