BRAIN-IoT: Model-Based Framework for Dependable Sensing and Actuation in Intelligent Decentralized IoT Systems | IEEE Conference Publication | IEEE Xplore