On Verification of Interoperability of CAD Systems with a Focus on Invariant Properties