Interface Injection with AspectC++ in Embedded Systems. - Ulrich Thomas Gabor; Christoph-Cordt von Egidy; Olaf Spinczyk (HASE, 2019)

Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS. - Junjie Shi; Christoph-Cordt von Egidy; Kuan-Hsun Chen; Jian-Jia Chen (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)