Christoph von Praun, Rajesh Bordawekar, Calin Cascaval: Modeling optimistic concurrency using quantitative dependence analysis. PPoPP 2008: 185-196