Towards the automatic generation and management of plant models for the validation of highly configurable cyber-physical systems | Publicación