Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi: Revisiting GPC and AND Connector in Real-Time Calculus. RTSS 2017: 255-265