Source: https://web.eecs.umich.edu/~akamil/papers/iticse19.pdf