Projektet har tagit fram ett modelleringsspråk, utvecklingsverktyg och en metodik som lämpar sig för utveckling av inbyggda system inom exempelvis flyg, fordon, industriautomation och telekommunikation.

Metoden (länk) ska inte bara ge säkrare system, utan den ska också vara snabb.

Projektet finansierades av EUs sjunde ramprogram och bedrevs i samarbete med 23 partners från 11 EU-länder.