[YZN+12] Ender Yüksel, Huibiao Zhu, Hanne Riis Nielson, Heqing Huang and Flemming Nielson. Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study. In Proc. 6th International Symposium on Theoretical Aspects of Software Engineering (TASE'12), pages 25-32, IEEE. 2012. [Models and verifies a Chinese smart grid implementation using PRISM.]
Links: [Google] [Google Scholar]