A framework for automating security analysis of the internet of things. (1st April 2017)