Bartak, R. 2022. Constraint models for complex state transitions. Computer Assisted Methods in Engineering and Science. 14, 4 (Aug. 2022), 543–555.