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