Title: Intra-modular structuring in model-oriented specification