Formalization approach to early design synthesis