Bartak, R. Constraint Models for Complex State Transitions. CAMES 2022, 14 (4), 543-555.