Le but de Quasimodo est le développement de nouvelles techniques et de nouveaux outils pour la conception, l'analyse, le test et
la génération de code à base de modèles dans le cadre des systèmes embarqués pour lesquels il est important de pouvoir
assurer des bornes sur la consommation des ressources.      Voir: http://www.quasimodo.aau.dk/