Email Record: mODA 7, advances in model-oriented design and analysis :