DOI,IST REx ID,Title of publication
10.1145/1375581.1375626,4384,Model checking transactional memories