Clarification of a problem abstraction process for TRIZ technical contradiction model in preliminary design