Acknowledgements
- U3CAT - https://frama-c.com/u3cat
- STANCE - https://cordis.europa.eu/project/id/317753 - FP7-ICT - Grant agreement 317753
- VESSEDIA - https://cordis.europa.eu/project/id/731453 - H2020 - Grant agreement 731453
- DECODER - https://cordis.europa.eu/project/id/824231 - H2020 - Grant agreement 824231
- SPARTA - https://cordis.europa.eu/project/id/830892 - H2020 - Grant agreement 830892