A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models