A Hybrid Clock Logic System for CPS. - Peifen Wang; Yixiang Chen 001; Hengyang Wu (ISKE, 2019)