Jones, C. 2000 out 4. Dependability of Computer-Based Systems. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :