@inproceedings{GrajaMKGK17,
  author    = {Imen Graja and Aicha Mechim and Slim Kallel and Nawal Guermouche and Ahmed Hadj Kacem},
  title     = {Demonstrating {BPMN4CPS:} Modeling anc verification of cyber-physical systems},
  booktitle = {Proceedings of the 14th {IEEE} Annual Consumer Communications {\&} Networking Conference ({CCNC} 2017)},
  pages     = {593},
  year      = {2017},
  doi       = {10.1109/SCC.2017.47},
address = {Las Vegas, NV, USA},

}