@article {425, title = {Modelling and statistical model checking of a microgrid}, journal = {{STTT}}, volume = {17}, year = {2015}, pages = {537{\textendash}554}, doi = {10.1007/s10009-014-0345-y}, url = {http://dx.doi.org/10.1007/s10009-014-0345-y}, author = {Chakraborty, Souymodip and Joost-Pieter Katoen and Falak Sher and Strelec, Martin} }