Towards White-Box Modeling of Hardware Transactional Memory Systems
Daniel Castro, Diego Didona and Paolo Romano