Noninterference under weak memory models Mantel, Heiko Perner, Matthias Sauer, Jens 2014 - TUHH Open Research