Acknowledgements

H2020 - Grant agreement 883242

https://cordis.europa.eu/project/id/883242

H2020 - Grant agreement 830892

https://cordis.europa.eu/project/id/830892

H2020 - Grant agreement 824231

https://cordis.europa.eu/project/id/824231

H2020 - Grant agreement 731453

https://cordis.europa.eu/project/id/731453

FP7-ICT - Grant agreement 317753

https://cordis.europa.eu/project/id/317753

ANR-08-SEGI-0021

https://frama-c.com/u3cat

CAT

ANR-05-RNTL-0003

https://anr.fr/Project-ANR-05-RNTL-0003