Small changes in parameterised processes.
Translation of Insiel's case study working.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
New changes in the model checker visitor.
Model checker dealing with minimal example of Insiel. Changed the output file name of Formula script.
Merge remote-tracking branch 'origin/development' into alrd
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Model checker handling Insiel's case study. More changes in the way the plugin generates the FORMULA and graph files.
Merge remote-tracking branch 'origin/acf' into alrd
Final adjustments in Insiel's case study. Modelchecker analysing and models put into SVN as well.
Merge commit 'e527ddf5d1a81b283b213c408b9ea288ca599f9c' into development