Boreale, Michele and Pampaloni, Francesca  Quantitative Multirun Security under Active Adversaries.   In:  Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems (QEST), 2012.   IEEE, pp. 158-167.  ISBN 978-0-7695-4781-7      (2012)