Alexander Züpke: Efficient and predictable thread synchronization mechanisms for mixed-criticality systems on shared-memory multi-processor platforms. University of Koblenz and Landau, Germany 2021