PaTRIZ: A framework for mining TRIZ contradictions in patents · Study