Bartak, Roman. “Constraint Models for Complex State Transitions”. Computer Assisted Methods in Engineering and Science 14, no. 4 (August 11, 2022): 543–555. Accessed January 12, 2025. https://cames3.ippt.pan.pl/index.php/cames/article/view/783.