Juan José Pardo Valentín Valero Ruiz Fernando Cuartero Diego Cazorla Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. 63-70 2001 conf/apsec/2001 APSEC http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080063abs.htm db/conf/apsec/apsec2001.html#PardoRCC01