Poster: Challenges with Automotive Test Case Specifications | IEEE Conference Publication | IEEE Xplore