@inproceedings{mkrichen08,
  title={Towards a Model-Based Testing Framework for the Security of Internet of Things for Smart City Applications},
  author={Moez Krichen and Omar Cheikhrouhou and Mariam Lahami and Roobaea Alroobaea and Afef Jmal Maâlej},
  booktitle={International Conference on Smart Cities, Infrastructure, Technologies and Applications},
  pages={360-365},
  year={2018},
  organization={Springer}
}