A Multi-level Methodology for Behavioral Comparison of Software-Intensive Systems