Le projet LETITBE (PHC Amadeus 2015) a pour objectif l'application au développement de systèmes musicaux interactifs de paradigmes et outils formels pour les systèmes embarqués critiques temps-réels. Il s'agit d'un projet de recherche pluridisciplinaire, chacun des partenaires étant spécialiste d'un des deux thèmes de recherche, et exploratoire, ces approches formelles étant traditionnellement plutôt réservée aux systèmes critiques (avionique, transports, etc).