A Geometric Rule Extraction Approach Used for Verification and Validation of a Safety Critical Application. - Marjorie Darrah; Brian J. Taylor; Michael Webb; Rhett Livingston (FLAIRS, 2005)