New Class: ModalModel to handle modal model (lists refinements).
Changes in MoMLImporter to link state with their refinements.
Now hierarchical composition of state machine is handled: in FSMState
methods have been added (get/set Refinement).