Hierarchical Formal Modeling of Internet of Things System Oriented to User Behavior | IEEE Conference Publication | IEEE Xplore