An Automated Verification Process Based on Scan Technique - Alves, Gustavo R. (2000)