+Execute the file *examples/client.py* to start up the debugging interface for a model.
+The model is, however, hardcoded to the *model.py* file, with the *Root* coupled model.
+The *examples/client.py* file is only an example, and can be easily modified, as the actual debugging logic is stored in the *src* folder, specifically in the Statechart stored in *src/sccd.xml*.
+
+Benchmarks
+==========
+
+To execute the benchmarks, and automatically generate their plots, run the command