Bartak, Roman.
" Constraint models for complex state transitions." <em>Computer Assisted Methods in Engineering and Science</em> [Online], 14.4 (2007): 543-555. Web. 22 Jul. 2024