Automating The Process Of Control Design