Validating software architectures for high reliability. - Willa K. Ehrlich; R. Chan; W. J. Donnelly; H. H. Park; M. B. Saltzman; P. Verma (ISSRE, 1996)