Mues, Malte, et al. “Thoughts about Using Constraint Solvers in Action”. Electronic Communications of the EASST, vol. 78, May 2020, doi:10.14279/tuj.eceasst.78.1100.