1. School of Electrical Engineering and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan
2. Christian Doppler Laboratory for Quality Assurance Methods for Autonomous Cyber-Physical Systems, Institute for Software Technology, Graz of Technical University, Graz, Austria