selected publications conference paper Comparing fail-safe microcontroller architectures in light of IEC 61508. . 2007