@inproceedings{sae07, author={Gai P. and Lipari G. and Di Natale M. and Serrelli N. and Palopoli L.and Ferrari A.}, title={Adding Timing Analysis to Functional Design to Predict Implementation Errors}, booktile{ SAE International 2007 world congress}, address={ Detroit, Michigan}, month={ April}, year={ 2007},}