Towards guidelines and verification methods for automated vehicle HMIs · Study