Dynamic Software Updating Using a Relaxed Consistency Model. - Haibo Chen 001; Jie Yu 016; Chengqun Hang; Binyu Zang; Pen-Chung Yew (IEEE Trans. Software Eng., 2011)