Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications. - Nermin Kajtazovic; Peter Hödl; Georg Macher (ISSRE Workshops, 2020)

A Compiler and Language Support for Designing Mixed-Criticality Applications. - Nermin Kajtazovic; Peter Hödl; Leo Happ Botler (J. Univers. Comput. Sci., 2021)