Bernardi, S. Marrone, S. Merseguer, J. Nardone, R. Vittorini, V. Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism Software and Systems Modeling 10.1007/s10270-018-0663-8 2019 2019