Text this: Correctness of Vehicle Control Systems: A Case Study