Per-flow delay bound analysis based on a formalized microarchitectural model | IEEE Conference Publication | IEEE Xplore