Francisco Rodríguez, José Carlos Campelo, Juan José Serrano: Delivering error detection capabilities into a field programmable device: the HORUS processor case study. FPT 2002: 418-421