A more reliable reduction algorithm for behavioral model extraction