@inproceedings{pvc00,
   author    = {Pardo,J.J. and Valero,V. and Cuartero,F.},
   title     = {A Dynamic State Graph for a Timed Process Algebra},
   booktitle = {Proc. of SNPD'00},
   pages     = {199-209},
   year      = {2000},
   month     = {May}
}