Title: A theory of digital system fault diagnosis