Vittorio Cortellessa Raffaela Mirandola PRIMA-UML: a performance validation incremental methodology on early UML diagrams. 101-129 2002 44 Sci. Comput. Program. 1 http://dx.doi.org/10.1016/S0167-6423(02)00033-3 db/journals/scp/scp44.html#CortellessaM02