A Sufficient Schedulability Test for Real-Time Software Transactional Memory | IEEE Conference Publication | IEEE Xplore