Gossen, F.; Margaria, T. Generating Optimal Decision Functions from Rule Specifications. ECEASST 2018, 74.