Merged with origin/development. Fized small problems in graph builder.
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
Merged with Adalberto's model-checker latest version and implemented
formula scripts generation.