Automata-Based Generic Model for Interoperating Context-Aware Ad-Hoc Devices in Internet of Things | IEEE Journals & Magazine | IEEE Xplore