[GWH18] Min Gao, Kun Wang and Lei He. Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities. Proc. IEEE Transactions on Industrial Informatics, 14(4), pages 1501-1510. 2018. [Formally verifies an energy router based system using probabilistic model checking and PRISM. ]
Links: [Google] [Google Scholar]