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