Using the BPMN notation, model a process with the following workflow: when the process starts, the task A is executed. After that, if the condition c is true, the task B is executed, and if it is false, the task C is executed. In both cases, after executing B or C, the task D is executed and then the process ends. The following pseudocode summarizes the workflow: Process() { A; If (c) Then B; Else C; D; }