selected publications conference paper RAM tests for safety-related architectures: A first approach. . 2014