Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems | IEEE Conference Publication | IEEE Xplore