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