Contract-Based Design for Low-Code Development in Industrial Edge Applications. - Qu, Deyuan; Zhang, Yingyue; Hu, Xiaoyu; Dai, Wenbin (2023)