@inproceedings{APSEC.2006.209-216,
 author = {Ling Yuan and Jin Song Dong and Jing Sun},
 title = {{Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL}},
 booktitle = {APSEC '06: Proceedings of the 13th Asia-Pacific Software Engineering Conference},
 location = {Bangalore, India},
 month={December},
 year = {2006},
 isbn = {0-7695-2685-3},
 issn = {1530-1362},
 pages = {209-216},
 doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2006.44},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA}
}