Bartak, R. 2022 Aug 11. Constraint models for complex state transitions. Computer Assisted Methods in Engineering and Science. [Online] 14:4