A model-based engineering process for increasing productivity in discrete manufacturing