DOI,IST REx ID,Title of publication
10.1007/s00446-009-0092-6,3402,Model checking transactional memories