Bartak R. Constraint models for complex state transitions. Comp. Assist. Methods Eng. Sci. [Internet]. 2022 Aug. 11 [cited 2025 Jul. 1];14(4):543-55. Available from: https://cames.ippt.pan.pl/index.php/cames/article/view/783