F. A. Santos et al.,  "Alternative shaper: a model for automatic design generation", in Formal Aspects of Computing, vol. 30, no. 3-4, pp. 333-349, 2018