Statistics for Formalization of BPMN Gateways using the DD-LOTOS Formal Language