Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study | IEEE Conference Publication | IEEE Xplore