A Formal Approach to Testing Logical Reliablity of Intelligent Device in Home Energy Management System | IEEE Conference Publication | IEEE Xplore