Requirements development for IoT systems with UCM4IoT. - Paul Boutot; Mirza Rehenuma Tabassum; Abdul Abedin; Sadaf Mustafiz (J. Comput. Lang., 2024)