Contributors to Theta Tamás Tóth [1] Ákos Hajdu [1] [2] Gábor Szárnyas [1] [2] Kristóf Marussy [1] [2] Mihály Dobos-Kovács [1] Fault Tolerant Systems Research Group, Department of Measurement and Information Systems, Budapest University of Technology and Economics MTA-BME Lendület Cyber-Physical Systems Research Group