Automotive control design bug-finding with the S-TaLiRo tool | IEEE Conference Publication | IEEE Xplore