2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION)