Digital Twins for Early Verification and Validation of Autonomous Driving Features: Open-source Tools and Standard Formats | IEEE Conference Publication | IEEE Xplore