Tempo-Toolkit: Tempo to Java Translation Module. - Chryssis Georgiou; Peter M. Musial; Christos Ploutarchou (NCA, 2013)