@article{DBLP:journals/fgcs/TounsiSKK23,
  author       = {Imen Tounsi and
                  Abdessamad Saidi and
                  Mohamed Hadj Kacem and
                  Ahmed Hadj Kacem},
  title        = {Internet of Things design patterns modeling proven correct by construction:
                  Application to aged care solution},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {148},
  pages        = {395--407},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.future.2023.05.018},
  doi          = {10.1016/J.FUTURE.2023.05.018},
}