@INPROCEEDINGS{TCCD-WSFM05,  
author = "Gregorio Diaz and Juan-José Pardo and Mª Emilia Cambronero and Valentín Valero and Fernando Cuartero",  
title = "{Automatic Translation  of WS-CDL Choreographies to Timed Automata}",  
booktitle = "Formal Techniques for Computer Systems and Business processes  (EPEW'05 \& WSFM'05), LNCS 3670",
pages = "230-242",  
publisher = "Springer",   
year = "2005",  
month = "September",
Volume= "3670",  
address = "Versailles, France"
}