Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun: Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. 9(1): 1-14 (2015)