Model-Checking Temporal Properties of Real-Time HTL Programs. - André Carvalho; Joel Carvalho; Jorge Sousa Pinto; Simão Melo de Sousa (ISoLA (2), 2010)