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