Gromit has an IDEA Felix Ingrand (LAAS/CAAR) NASA/IDEA Team LAAS Eden Team Justification Functional level and functional modules interactions have become increasingly complex…