System-level feature-based modeling of cyber-physical systems