_id,doi,title
4384,10.1145/1375581.1375626,Model checking transactional memories