C. Rentier, “The trip function of a lift”, TSIB, vol. 4, no. 1, Apr. 2022.