When I import one module from another in Overture all is quite straightforward. However, I can't work out how to import a module from another project. What I do is:
- create project P1
- create module A in P1
- create project P2
- specify P1 as a reference in P2
- create module B in P2
- in module B import A
In module B the system flags the error 'No such module as A'.
I'm afraid there is no linking between projects in Overture currently, though you're right that this would be a sensible thing to have and would improve the modularity of specifications. So at the moment, all of your specification files have to live in the same project.