A statistical approach to the inspection checklist formal synthesis and improvement | IEEE Journals & Magazine | IEEE Xplore