A methodology for automated design and implementation of