Yijun Song, Zhan Zhang, Hamada H. Ghenniwa, Weiming Shen: A synchronization device for resource sharing in multi-agent systems. CSCWD (1) 2005: 475-480