Return to Article Details Formal Verification of Cyber-Physical Systems in the Internet of Things (IoT) Download Download PDF