Blanc, S.Guerraoui, R.Hess, K.Kouznetsov, P.Parent, P.-E.Pochon, B.Sauvageot, O.2006-01-302006-01-302006-01-30200310.1016/S1571-0661(04)80834-Xhttps://infoscience.epfl.ch/handle/20.500.14299/221784Using the Topological Characterization of Synchronous Modelstext::conference output::conference proceedings::conference paper