Implementing and Evaluating a Model Checker for Transactional Memory Systems | IEEE Conference Publication | IEEE Xplore