Recent advances in information and communication technologies, embedded systems and sensor networks have generated significant research activity in the development of so-called cyber-physical systems. An example of a large network of cyber-physical systems is a smart city with intelligent infrastructures for supporting the environment, energy and water distribution, transportation, telecommunication, health care, home automation, and so on. From a systems point of view, safety, reliability and fault tolerance become key challenges in designing cyber-physical systems. One of the major issues...