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