An Algebraic Approach for Codesign. - Marc Aiguier; Stefan Béroff; Pierre-Yves Schobbens (ICTAC, 2004)