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