A Graphical User Interface (GUI) enables using other modules from the level of a Java-based application. Its core features are:

• visualisation of timed automata;
• generator of temporal formulas;
• calling appropriate tools;
• access to predefined examples and benchmarks.