@book {C-MATCH17-98, title = {Performance Bounds}, year = {1998}, month = {9}, pages = {587-635}, publisher = {Editorial KRONOS}, organization = {Editorial KRONOS}, url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/98_C_MATCH17.ps.gz}, author = {J. Campos}, editor = {G. Balbo and M. Silva} }