Tools and Methods of Program Analysis - Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy (Springer, 2021)