BRIoT: Behavior Rule Specification-Based Misbehavior Detection for IoT-Embedded Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore