Removing pog as a required bundle.
Implemented CML files creation to activate the model-checker.
Updated messages file and files management job.
Merge remote-tracking branch 'origin/development' into alrd
Updated process selection.
Getting some issues sorted on fault-tolerance plugin.
Updated template for fault tolerance file generation.
Merge remote-tracking branch 'origin/acf' into alrd
Separation of concerns for model-checker calls.
Merge remote-tracking branch 'origin/acf' into alrd
Merged with Adalberto's model-checker latest version and implemented
formula scripts generation.
Redefined progress and model-checkig integration.
Fixed absolute path.
Improving exception handling.
Merge remote-tracking branch 'origin/acf' into alrd
Refactoring basic tasks of the main job of the fault-tolerance
verification. Implemented the method getChannelNames on class
MCAIdentifierVarsetExpression.
Creating generated files when needed.
Moving model-checking task to class ModelCheckingTask. Replaced Jobs by
Threads to interrupt them when the user presses the cancel requrest
button.
Infrastructure for running the MC in separate Threads
Removed unused messages. Fixed progress monitor messages.