Model validation: model costistency and initial configuration validation done.
Included the implementation domain in the universe methods.
Added resources to the universe.
Model validation: Specification validation done.
Model validation: Added printing of validation results. Corrected errors.