A Graph-Based Methodology for Model Inconsistency Identification and Robust Architecture Exploration and Analysis