Rapid virtual prototyping of real-time systems using predictable platform characterizations. - Seyed-Hosein Attarzadeh-Niaki; Marcus Mikulcak; Ingo Sander (FDL, 2013)

Timed Path Conditions in MATLAB/Simulink. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (IESS, 2015)

Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. - Marcus Mikulcak; Thomas Göthel; Paula Herber; Sabine Glesner (GI-Jahrestagung, 2016)

Information Flow Analysis of Combined Simulink/Stateflow Models. - Marcus Mikulcak; Paula Herber; Thomas Göthel; Sabine Glesner (Inf. Technol. Control., 2019)

Information flow analysis of discrete embedded control system models. - Marcus Mikulcak (2020)