Sébastien Saudrais Olivier Barais Noël Plouzeau Composants avec Propriétés Temporelles. 143-149 2006 conf/cal/2006 CAL db/conf/cal/cal2006.html#SaudraisBP06