The Formal Design Process