Verification of a Timed Multitask System With Uppaal. - Houda Bel Mokadem; Béatrice Bérard; V. Gourcuff; O. De Smet; J. Roussel (IEEE Trans Autom. Sci. Eng., 2010)