Intra-modular structuring in model-oriented specification | lit.salon