A formal design for changeover methodology. Part 1: Theory and background · Study