PRISM, FiGo, Internet of Things, Wireless sensor networks, formal methods