Regulating Concurrency in Software Transactional Memory: An Effective Model-based Approach | IEEE Conference Publication | IEEE Xplore