DMN 1.0 Verification Capabilities: An Analysis of Current Tool Support. - Carl-Christian Grohé; Carl Corea; Patrick Delfmann (BPM (Forum), 2021)