A consistency management framework for digital twin models | Synapse