@ARTICLE {1635,
author={Paula Prata Sousa and M. Rela and H.  Madeira and J. Silva},
doi={},
journal={Journal of the Brazilian Computer Society},
title={Robust Assertions and Fail-Bounded Behavior},
year={2005},
month={April},
volume={10},
number={3},
pages={20-32},
ISSN={}
}