A software quality assurance procedure to assure a reliable software device. - Richard C. Fries; Raymond T. Riddle (CBMS, 1989)