MidSecThings: Assurance Solution for Security Smart Homes in IoT. - Richardson Andrade; Nelson S. Rosa (HASE, 2019)