Credits

• The COCONUT EU project: a COrrect-by-CONstrUction workbench for design and verification of embedded sysTems .
• Embedded Systems Research Unit of Fondazione Bruno Kessler (FBK).