Bartak R. Constraint models for complex state transitions. Comp. Assist. Methods Eng. Sci. 2022;14(4):543-555. Accessed January 18, 2026. https://cames.ippt.gov.pl/index.php/cames/article/view/783