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