Digital Shadows for Remote Automotive SW Verification. - Robert Kaster; Di Ma 001 (CPS-IoT Week Workshops, 2023)