@misc{PflanzVierhaus, author = {Pflanz, Matthias and Vierhaus, Heinrich Theodor}, title = {Online Check and Recovery Techniques for Depandable Embedded Processors}, series = {IEEE micro}, volume = {21}, journal = {IEEE micro}, number = {5}, issn = {0272-1732}, pages = {24 -- 40}, language = {en} }