Elliott, et al.. Gpusync: A Framework for Real-time GPU Management. IEEE, 2013, doi:10.1109/rtss.2013.12.