Feature-based Assembly in Aeronautics Design: from concepts development to formalization