Using intentional models for the interface design of multi-level systems