An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems | IEEE Conference Publication | IEEE Xplore