must be eliminated to realize practical phase only holographic head up displays. To eliminate this light, this work presents an optical system using lenses and a spatial filter. The article "Human-Machine Interface Design and Verification for an Automated Driving System Using System Model and Driving Simulator," by Sunkil Yun et al., presents an approach to facilitate the design and verification of HMIs for transition of the vehicle control between the ADS and the driver in the context of the overall September/October 2019 transportation systems. In this approach, a functional flow of an HMI is defined in the system model described using system modeling language (SysML). A visual display of HMI is designed and repeatedly verified using a driving simulator built by using the test case that utilizes the functional flow of HMI. Haruhiko Okumura is a Senior Fellow at Toshiba Corporation, Kawasaki, Japan. Contact him at haruhiko.okumura@toshiba.co.jp. 61