Updates in dependencies visitor of the model checker.
Added FT plugin example.
Improvements to handle process and actions with parameters.
Added example with basic concepts of fault-tolerance verification as
shown in D33.3.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
Fixed exception handling on the model-checker integration.
Clean up cmlc option descriptions a bit
related to #282 added delayed contexts to the child behaiours instead of the root node of []
Adjustments to parameters manipulation. working for BEOAVDeviceDiscovery.
Merge branch 'alrd' of https://github.com/symphonytool/symphony into acf
removed unused imports
added implementation for action: alphabetised parallel and its replicated version
change test case to display interpreter state when failing
Adjustments to formula script generation.
removed unessary context
Small fixes to formula script generation.
Merge remote-tracking branch 'origin/kel/base' into jwc/base
close #268 fixed this again. It was broken due to a fix for #282

#268 should be manually check to confirm that the test result is correct (issue-268-pos.result) @JeremyBryans

close #282 this should be done now
improved formatting of error results in the test of the interpreter + added expected status
Merge remote-tracking branches 'origin/kel/base' and 'origin/acf' into jwc/base