@inproceedings{Graja17a,
  author    = {Imen Graja and
               Slim Kallel and
               Nawal guermouche and
				Ahmed Hadj Kacem},
  title     = {Modeling and verification of temporal properties in Cyber-Physical Systems},
  booktitle = {Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference {(CCNC 2017)}},
  pages     = {},
  year      = {2017},
}