On consistency of physical and DEVS models in control-targeted DTs: an industrial case study