Import module from different project in Overture

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'.

Solution

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.