1. Center of Secure Cyber-Physical Systems (C2PS), and the Department of Computer Sciences, Khalifa University, Abu Dhabi, UAE
2. Department of Electrical, Computer, and Biomedical Engineering, Abu Dhabi University, Abu Dhabi, UAE
3. Department of Computer Science and Software Engineering, The University of Western Australia, Perth, WA, Australia