Developing a Formal Design Analysis Framework