@article{Ender2012,
author = {Ender, Y},
doi = {10.1109/TASE.2012.44},
isbn = {9780769547510},
title = {{Modelling and Analysis of Smart Grid A Stochastic Model Checking Case Study}},
year = {2012}
}