System Synthesis and Automated Verification: Design Demands for IoT Devices