Coping with system verification in complex systems is a challenging task. This paper reports on how the high complexity of closely integrated systems and long timelines in development affects the verification process in ...