Bartak, Roman.
" Constraint models for complex state transitions" <em>Computer Assisted Methods in Engineering and Science</em> [Online], Volume 14 Number 4 (11 August 2022)