Graph Matching Constraints for Synthesis with Complex Components. - Ana Fuentes Martinez; Krzysztof Kuchcinski (DSD, 2007)