Verification of automotive control applications using S-TaLiRo | IEEE Conference Publication | IEEE Xplore