[Resumen] La importancia de un diseño maduro y mantenible del software de automatización en los sistemas ciber-físicos de producción (CPPS) aumenta continuamente, ya que una proporción cada vez mayor de la funcionalidad ...