Armin Heindl Gilles Pokam Modeling software transactional memory with AnyLogic. 10 2009 SimuTools http://doi.acm.org/10.1145/1537614.1537628 conf/simutools/2009 db/conf/simutools/simutools2009.html#HeindlP09