A survey of model-driven techniques and tools for cyber-physical systems.