Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP | IEEE Conference Publication | IEEE Xplore