ERITA: Ensuring the Reliability of Internet of Things-Based Applications | Synapse