Merging spacecraft software development and system tests: an agile verification approach. - Nico Bucher (2021)