Monitoring IoT Objects in Wearable Applications: An Alloy-Based Approach. - Tôn, Long-Phuoc; Lê, Lam-Son; Pham, Hoang-Anh; Dao, Bo (2018)