Le, Hoa Thi Thieu and Palopoli, Luigi and Passerone, Roberto and Ramadian, Yusi (2010) Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata. UNSPECIFIED. (Unpublished)