Bartak, R. 2007. Constraint models for complex state transitions. Computer Assisted Methods in Engineering and Science. 14, 4 (Dec. 2007), 543–555.