What Can Agile Methods Bring to High-Integrity Software Development? Considering the issues and opportunities raised by Agile practices in the development of high-integrity software. - Chapman, Roderick; White, Neil; Woodcock, Jim (Communications of the ACM, 2017)