1. From smart objects to smart experiences: An end-user development approach
2. Home Assistant. 2022. Home Assistant. https://www.home-assistant.io/. Home Assistant. 2022. Home Assistant. https://www.home-assistant.io/.
3. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking.
4. Xinbo Ban , Ming Ding , Shi xiang Liu , Chao Chen , Jun Zhang , and Yang Xiang . 2022 . TAESim: A Testbed for IoT Security Analysis of Trigger-Action Environment. In Computer Security. ESORICS 2021 International Workshops. 218–237 . Xinbo Ban, Ming Ding, Shi xiang Liu, Chao Chen, Jun Zhang, and Yang Xiang. 2022. TAESim: A Testbed for IoT Security Analysis of Trigger-Action Environment. In Computer Security. ESORICS 2021 International Workshops. 218–237.
5. IoTranx: Transactions for Safer Smart Spaces