1. Faculty of Electrical Engineering, Czech Technical University, 166 36 Prague 6, Czechia;
2. Laboratory for Analysis and Architecture of Systems, French National Center for Scientific Research, 31400 Toulouse, France;
3. Tilburg University, 5037 AB Tilburg, Netherlands