Local state variables
At the moment uniqueness of variables names is imposed at a model level scope. The scope of state variables should be local to each module. Note that IOSA does not impose any other restriction than being unique to the module where they are declared. However, it would be nice, if not necessary, to be able to talk about this variables at the property section of the FIG model. I suggest that we write 'module_name.variable_name' to name this variables at global scope (note that modules names are globally unique).