ADAS and Automated Driving: A Practical Approach to Verification and Validation - Pathrose (IEEE, 2003)