@incollection{pvr01,
   author    = {Pardo,J.J. and Valero,V. and Ruiz,M.Carmen},
   title     = {TPAL: Una herramienta de simulación de sistemas concurrentes con restricciones temporales},
   booktitle = {Sistemas Distribuidos: Modelos y Aplicaciones},
   address   = {Albacete(Spain)},
   pages     = {157--169},
   year      = {2001},
   month     = {July}
}
