_id,doi,title
3402,10.1007/s00446-009-0092-6,Model checking transactional memories