A run-time verification framework for smart grid applications implemented on simulation frameworks | IEEE Conference Publication | IEEE Xplore