CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems
Z3: An Efficient SMT Solver