1. Computer Science Department, Baylor University, Waco, TX, USA
2. Computer Science Department, Faculty of Electrical Engineering, Czech Technical University in Prague, Prague, Czech Republic
3. M3S Group, University of Oulu, Oulu, Finland
4. Red Hat, Brno, Czech Republic