Combining UML and formal notations for modelling real-time systems. - Luigi Lavazza; Gabriele Quaroni; Matteo Venturelli (ESEC / SIGSOFT FSE, 2001)