Error-Checking Code and Property Monitors -- Tailoring IEEE 1471 for MDE Support -- Data