M. Mues, M. Fitzke, and F. Howar, “Thoughts about using Constraint Solvers in Action”, ECEASST, vol. 78, May 2020.