Quantitative analysis methodology in safety-critical microprocessor applications. - João Batista Camargo Jr.; Edmur Canzian; Jorge Rady de Almeida Jr.; Sérgio Miranda Paz; Bruno Abrantes Basseto (Reliab. Eng. Syst. Saf., 2001)

Best Practices in Code Inspection for Safety-Critical Software. - Jorge Rady de Almeida Jr.; João Batista Camargo Jr.; Bruno Abrantes Basseto; Sérgio Miranda Paz (IEEE Softw., 2003)