conceptual design, design verification, functionality constrains, constraint propagation, graphs - download at 4shared. conceptual design, design verification, functionality constrains, constraint propagation, graphs is hosted at free file sharing service 4shared.