@INPROCEEDINGS {6844,
author={J. Muranho  and Paula Prata Sousa and M. Rela and J. Silva},
doi={},
booktitle={Latin-American Symp.on Dependable Computing - LADC},
title={Failure Boundedness in Discrete Applications},
year={2007},
month={September},
volume={LNCS-4746},
pages={160-169} 
}