Juan Zamorano Alejandro Alonso José Antonio Pulido Juan Antonio de la Puente Implementing Execution-Time Clocks for the Ada Ravenscar Profile. 132-143 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3063&spage=132 2004 conf/adaEurope/2004 Ada-Europe db/conf/adaEurope/adaEurope2004.html#ZamoranoAPP04