1. Federico Tomassetti, Daniel RatiuContribution to MbeddrImageExtracting variability from C and lifting it to mbeddr 2. 1. Variability in C 2. Variability in mbeddr3. Analysis…