Jones, Cliff. " Dependability of Computer-Based Systems." Anais do XIV Simpósio Brasileiro de Engenharia de Software, João Pessoa/PB, 2000. SBC, 2000, pp.16-20.