US6715107B2 - Method and System for Reducing the Computation Tree to Include Only Model Behaviors Defined Succinctly by a User via Regular Expressions as Being of Interest