Bartak, R. (2022). Constraint models for complex state transitions. Computer Assisted Methods in Engineering and Science, 14(4), 543-555. https://cames3.ippt.pan.pl/index.php/cames/article/view/783