%0 Conference Paper %B Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement %D 2012 %P 211-220 %T Testing highly complex system of systems: an industrial case study