Ling Yuan, Jin Song Dong, Jing Sun. Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. In 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India. pages 209-216, IEEE Computer Society, 2006. [doi]
Abstract is missing.