Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems. - André L. N. Muniz; Aline Maria Santos Andrade; George Lima 001 (Innov. Syst. Softw. Eng., 2010)