Formal Modeling IoT Systems on the Basis of BiAgents* and Maude | IEEE Conference Publication | IEEE Xplore