Carl Corea, Jonas Blatt, Patrick Delfmann: A Tool for Decision Logic Verification in DMN Decision Tables. BPM (PhD/Demos) 2019: 169-173