A verification and validation process for model-driven engineering R. Delmas, A. F. Pires and T. Polacsek Published online: 02 December 2013 DOI: 10.1051/eucass/201306455