Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications. - Mohamed Hadj Kacem; Imen Tounsi; Najeh Khalfi (ICOST, 2020)

Modeling IoT Design Patterns Proven Correct by Construction. - Imen Tounsi; Najeh Khalfi; Abdessamad Saidi 002; Mohamed Hadj Kacem (ICOST, 2022)