1 septembre 2004
Ce projet de 3 ans a pour objectif de développer le nouvel environnement de spécification et de développement B.
Les partenaires industriels sont: Nokia (Finlande), VT Engine Control (UK) et Praxis (UK).
Les partenaires académiques sont: universités de Newcastle (UK), Southampton (UK), Aobo (Finlande) et ETH Zurich (Suisse).