@conference {198,
	title = {Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking},
	booktitle = {Proc. of the 35th Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Christel Baier and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Linda Leuschner}
}