Integration of Formal Methods with System Design