Jean-Marie Jacquet Isabelle Linden Towards a Theory of Refinement in Timed Coordination Languages. 113-131 2007 conf/coordination/2007 COORDINATION http://dx.doi.org/10.1007/978-3-540-72794-1_7 db/conf/coordination/coordination2007.html#JacquetL07