On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation