Formalización del sistema análisis de fallas de procesadores - Birkner Alvarado, Sigurd (S. Birkner A., 2008)