Generative frameworks for rigorous model-driven development. - Nuno Amaálio (2006)