"Combining UML and formal notations for modelling real-time systems."

Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics