@proceedings {321,
	title = {Introducing Probabilities in Controller Strategies},
	journal = {3rd International Workshop on Quantitative Aspects in Security Assurance},
	volume = {LNCS},
	year = {2014},
	publisher = {Springer},
	author = {Jerry den Hartog and Ilaria Matteucci}
}