@inproceedings {LGMC-02b, title = {On the Use of Formal Models in Software Performance Evaluation}, year = {2002}, month = {6}, pages = {367-387}, publisher = {Universidad de Zaragoza}, organization = {Universidad de Zaragoza}, author = {J.P. L{\'o}pez-Grao and Jos{\'e} Merseguer and J. Campos} }