Static Analysis - Rival, Xavier (Springer Berlin Heidelberg, 2016)