Partitionnement de spécifications flots de données conditionnels pour la conception de systèmes embarqués.