“…Other models assume that the terminal state is x ≤ U, i.e., rework is needed if x > U, models [31,34,35,38,40,44,[46][47][48]. Finally, there are models where a recurrent state is limited to the case where x < L, models [9,19,20,25,32,36,37,42,43,[49][50][51].…”