Deriving Consistent GSM Schemas from DCR Graphs · Study