Towards Agile Engineering of High-Integrity Systems - Research Database, The University of York Other