1. Department of Computer Science, Technische Universitat Dortmund, Dortmund, Germany
2. Informatik 12, TU-Dortmund, Dortmund, Germany
3. Department of Electrical Engineering, Institute of Space Technology, Islamabad, Pakistan
4. Design Automation of Embedded Systems, TU Dortmund, Dortmund, Germany