Monitoring IoT Objects in Wearable Applications: An Alloy-Based Approach | IEEE Conference Publication | IEEE Xplore