publicações selecionadas artigo académico Introduction to special issue: Model-based development methodologies. Innovations in Systems and Software Engineering. 2009