Verification of HMI for an automated driving system by using a driving simulator | IEEE Conference Publication | IEEE Xplore