Temporal Characterization of Embedded Systems Using Nexus | Publicación