Source: https://research.spec.org/icpe_proceedings/2014/p111.pdf