Text this: Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems