Gossen, Frederik, and Tiziana Margaria. “Generating Optimal Decision Functions from Rule Specifications”. Electronic Communications of the EASST, vol. 74, June 2018, doi:10.14279/tuj.eceasst.74.1056.