Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. - Marius Mikucionis; Kim Guldstrand Larsen; Jacob Illum Rasmussen; Brian Nielsen; Arne Skou; Steen Ulrik Palm; Jan Storbank Pedersen; Poul Hougaard (ISoLA (2), 2010)