Developing Green Design Guidelines: A Formal Method And Case Study