Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. - Imen Graja; Aicha Mechim; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)