Bartak, Roman. “Constraint Models for Complex State Transitions”. Computer Assisted Methods in Engineering and Science, vol. 14, no. 4, Aug. 2022, pp. 543-55, https://cames3.ippt.pan.pl/index.php/cames/article/view/783.