Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach | IEEE Conference Publication | IEEE Xplore