Title: 2024 IEEE Workshop on Design Automation for CPS and IoT (DESTION)