See the readme of the repository for necessary tools and installation information.
The linked repository houses the WebGME Formula integration project.
After installation the user can try out this web-based tool on her/his own machine or even remotely if the installation was done in the cloud.
This file shows several models used in the SensApp case study, using 11 different formalisms. This case study is described in a paper submitted to the GEMOC'2013 workshop, entitled "From Sensors to Visualization Dashboards: Challenges in Languages Composition".