@inproceedings{DBLP:conf/icost/TounsiKSK22,
  author    = {Imen Tounsi and
               Najeh Khalfi and
               Abdessamad Saidi and
               Mohamed Hadj Kacem},
  title     = {Modeling IoT Design Patterns Proven Correct by Construction},
  booktitle = {Participative Urban Health and Healthy Aging in the Age of {AI} -
               19th International Conference, {ICOST} 2022, Paris, France, June 27-30,
               2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13287},
  pages     = {30--42},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-09593-1\_3},
  doi       = {10.1007/978-3-031-09593-1\_3},
}