An Automatic Diagnostic Program Generator for Sequentially Controlled Machines. - S. Takata; J. Schwager (Angew. Inform., 1982)