BARTAK, Roman. Constraint models for complex state transitions. Computer Assisted Methods in Engineering and Science, [S.l.], v. 14, n. 4, p. 543-555, aug. 2022. ISSN 2956-5839. Available at: <https://cames.ippt.pan.pl/index.php/cames/article/view/783>. Date accessed: 22 july 2024.