The flow of information between IT systems lies at the core of the digital services used today by citizens, businesses and public administrations. Such exchanges are made possible by ensuring IT systems are interoperable, meaning that they communicate in a common way and share an understanding over exchanged messages and the processing they entail. Interoperability in turn is built on the specifications that formally capture the requirements IT systems must implement. Testing IT systems against…