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