Juan Pardo José Carlos Campelo Juan Carlos Ruiz Pedro J. Gil Temporal Characterization of Embedded Systems Using Nexus. 47-52 2006 EDCC http://dx.doi.org/10.1109/EDCC.2006.27 conf/edcc/2006 db/conf/edcc/edcc2006.html#PardoCRG06