Massimo Merro, Eleonora Sibilio: A Timed Calculus for Wireless Systems. FSEN 2009: 228-243