First adjustments to graph builder to handle time constructs.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Removing pog as a required bundle.
Changes in the graph builder to handle tock events.
Merge branch 'development' of https://github.com/symphonytool/symphony into acf
Implemented CML files creation to activate the model-checker.
Updated messages file and files management job.
Merge remote-tracking branch 'origin/development' into alrd
Small modification in cml examples.
Updated process selection.
Getting some issues sorted on fault-tolerance plugin.
Updated template for fault tolerance file generation.
Improvements to graph builder.
Changes towards analysis of the first version of insiel's case study.
Merge remote-tracking branch 'origin/acf' into alrd
Merged with origin/development. Fized small problems in graph builder.
Separation of concerns for model-checker calls.
Model checker analysing B & O example. Added one more rule in the formula embedding to deal with tock transitions in the sequential composition construct.
Merge remote-tracking branch 'origin/acf' into alrd