@inproceedings{DBLP:conf/isda/0002KTK22,
  author       = {Abdessamad Saidi and
                  Mohamed Hadj Kacem and
                  Imen Tounsi and
                  Ahmed Hadj Kacem},
  title        = {Automated Transformation of IoT Systems Models into Event-B Specifications},
  booktitle    = {Intelligent Systems Design and Applications - 22nd International Conference
                  on Intelligent Systems Design and Applications {(ISDA} 2022) Held
                  December 12-14, 2022 - Volume 2},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {715},
  pages        = {93--104},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-35507-3\_10},
  doi          = {10.1007/978-3-031-35507-3\_10},
}