Credits

This work has been funded by EU FP7 HEADS project.

Contributors

By alphabetical order (family name):

• Olivier Barais (Inria and University of Rennes 1)
• Vladimir Cvetkovic (M2M)
• Franck Fleurey (SINTEF)
• Brice Morin (SINTEF)
• Martin Skorsky (SAG)
• Maxime Tricoire (Inria)
• Anatoly Vasilevskiy (SINTEF)
• Walter Waterfeld (SAG)