C. Jones. " Dependability of Computer-Based Systems", in Anais do XIV Simpósio Brasileiro de Engenharia de Software, João Pessoa/PB, 2000, pp. 16-20, doi: https://doi.org/10.5753/sbes.2000.25917.