One of the major challenges in design of complex networked control systems –such as those arising in aerospace, computing, robotics, critical infrastructure and manufacturing systems, to name a few– is insuring that the combination of dynamical behavior and logical decision-making satisfy detailed safety and performance specifications.