Introduction to Software tools for analysis (Unit 6) - Gakhar, Shalini (2023)