"Model-Based GUI Testing Using Uppaal at Novo Nordisk."

Ulrik H. Hjort et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics