A Comprehensive Creation Method of Hardware and Software Combined Test Specifications for Industrial Product Controlled by Software using HAZOP.