1. Center for Cyber-Physical Systems, Khalifa University, Abu Dhabi, United Arab Emirates
2. Department of Electrical Engineering and Computer Science, Khalifa University of Science and Technology, Abu Dhabi, United Arab Emirates
3. Dipartimento di Informatica, Università degli Studi di Milano, Milan, Italy