Fault Injection in Model-Based System Failure Analysis of Highly Automated Vehicles | IEEE Journals & Magazine | IEEE Xplore