Breakthrough in CDC-RDC Verification Defining a Standard for Interoperable Abstract Model