Schedulability Analysis of Transactions in Software Transactional Memory Using Timed Automata | IEEE Conference Publication | IEEE Xplore