Hardware emulation of IoT devices and verification of application behavior | IEEE Conference Publication | IEEE Xplore