On Consistency and Completeness of Property-Sets : Exploiting the Property-Based Design-Process