Text this: An application of retroduction to analyzing and testing the backing off of nuts and bolts during dynamic loading /