Guido Menkhaus Michael Holzmann Sebastian Fischmeister Claudiu Farcas Towards Efficient Use of Shared Communication Media in the Timed Model. 342-351 2005 conf/rtas/2005 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2005.57 db/conf/rtas/rtas2005.html#MenkhausHFF05