@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}
}

