Component for Debugging of Interrupt Based Systems. - Alain Tamayo-Fong; Luis E. Leyva-del-Foyo; Pedro Mejia-Alvarez (Res. Comput. Sci., 2006)