A Practical Approach to Quality Assurance in Critical Systems. - Carlos A. T. Moura; Carlos Henrique Netto Lahoz; Martha A. D. Abdala (LADC, 2003)