selected publications conference paper Following the White Rabbit: Integrity Verification Based on Risk Analysis Results. . 2021 Software Architecture Methods and Mechanisms for Timing Error and Failure Detection According to ISO 26262: Deadline vs. Execution Time Monitoring. SAE technical paper series. 2013