Formal Modeling and Verification of Scalable Process-Aware Distributed IoT Applications | IEEE Conference Publication | IEEE Xplore