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)