Towards a Model-centric Approach for Developing Dependable Smart Grid Applications | IEEE Conference Publication | IEEE Xplore