Model-Based GUI Testing Using Uppaal at Novo Nordisk. - Ulrik H. Hjort; Jacob Illum Rasmussen; Kim Guldstrand Larsen; Michael A. Petersen; Arne Skou (FM, 2009)