IMPROVING ON-BOARD DIAGNOSIS EFFICIENCY THROUGH AUTOMATIC SYSTEM MODEL ABSTRACTION