Text this: mODA 7, advances in model-oriented design and analysis :