1. Baheti R, Gill H (2011) The impact of control technology, chapter cyberphysical systems. IEEE Control Systems Society, pp 161–166
2. Cardelli L, Gordon AD (1988) Mobile ambients. In: Nivat M (ed) Proceedings of the first international conference on foundations of software science and computation structure, Lecture notes in computer science: 1378. Springer, Berlin, pp 140–155
3. de Sousa JB, Johansson KH, da Silva JE, Speranzon A (2005) A verified hierarchical control architecture for coordinated multi-vehicle operations. Int J Adapt Control Sig Process 21(2–3):159–188 (Special Issue: Autonomous and adaptive control of vehicles in formation)
4. de Sousa JB, Maciel B, Pereira FL (2009) Sensor systems on networked vehicles. Netw Heterogen Media 4(2):223–247 (American Institute of Mathematical Sciences)
5. Deshpande A, Gollu A, Semenzato L (1997) The shift programming language and run-time system for dynamic networks of hybrid automata. Technical Report UCB-ITS-PRR-97-7, California PATH