Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS | IEEE Conference Publication | IEEE Xplore