Bartak, R. Constraint Models for Complex State Transitions. Comp. Assist. Methods Eng. Sci. 2022, 14 (4), 543-555.