A representation formalism for feature-based design · Study