Marco Faella, Salvatore La Torre, Aniello Murano: Dense Real-Time Games. LICS 2002: 167-176