The main goal of Quasimodo is to develop new techniques and tools for model-driven design, analysis, testing and code-generation
for advanced embedded systems where ensuring quantitative bounds on resource consumption  is a central problem.      See:
http://www.quasimodo.aau.dk/