Formal Analysis of BPMN Via a Translation into COWS