Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus. - Jürgen Dingel; Eyrak Paen; Ernesto Posse; Rezoanoor (Ruben) Rahman; Karolina Zurowska (BM-FA, 2010)