Ezio Bartocci, Laura Kovacs are part of “a consortium of different scientists from our institute Logic and Computation with the research units Algorithms and Complexity, Databases and Artificial Intelligence, Knowledge-Based Systems, Formal Methods in Systems Engineering, Theory and Logic, and Security and Privacy and the research unit Cyber-Physical Systems from the institute of Computer Engineering, chaired by Stefan Szeider, was granted financial support by the Co-funding of regional, national and international programmes (COFUND). It provides organizations with additional financial support for their researcher training and career development programmes.”