An enhanced formal inspection process to improve the efficiency and effectiveness of software inspection process - Taba, Navid Hashemi (2016)