Designing networks-on-chip for high assurance real-time systems Rambo, Eberle Andrey Seitz, Christoph Saidi, Selma Ernst, Rolf 2017 - TUHH Open Research