selected publications academic article Classification of Resilience Techniques Against Functional Errors at Higher Abstraction Layers of Digital Systems. ACM Computing Surveys. 50:1-38. 2017