A Simple GUI for debugging ThingML programs - View it on GitHub