Uninterrupted Automatic Broadcasting Based on Timed Automata. - Yizhen Cao; Zhiying Duan; Yongbin Wang (ACIT-CSI, 2015)