Deterministic Futexes: Addressing WCET and Bounded Interference Concerns | IEEE Conference Publication | IEEE Xplore