A priority mutex with bounded waiting for interactive consumer electronics systems | IEEE Conference Publication | IEEE Xplore