@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}
}