SeRoHAL: generation of selectively robust hardware abstraction layers for efficient protection of mixed-criticality systems. - Petra R. Kleeberger; Juana Rivera; Daniel Mueller-Gritschneder; Ulf Schlichtmann (ASP-DAC, 2019)