Logical Models of Physical Failures. - C. Timoc; M. Buehler; T. Griswold; C. Pina; F. Stott; L. Hess (ITC, 1983)