Sobeeh Almukhaizim Petros Drineas Yiorgos Makris On Concurrent Error Detection with Bounded Latency in FSMs. 596-603 2004 conf/date/2004 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1268910 db/conf/date/date2004-1.html#AlmukhaizimDM04