A Comprehensive Creation Method of Hardware and Software Combined Test Specifications for Industrial Product Controlled by Software using HAZOP | IEEE Conference Publication | IEEE Xplore