Uppaal
2つの大学の共同事業
Uppsala University, Sweden
Aalborg University in Denmark.