Concepts for Formal Modeling and Management of Building Design Options