Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska: 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4015-3