S ^3 DES - Scalable Software Support for Dependable Embedded Systems. - Lukas Osinski; Jürgen Mottok (ARCS, 2019)