Towards Agile Engineering of High-Integrity Systems. - Richard F. Paige; Ramon Charalambous; Xiaocheng Ge; Phillip J. Brooke (SAFECOMP, 2008)

High-integrity agile processes for the development of safety critical software. - Richard F. Paige; Andy Galloway; Ramon Charalambous; Xiaocheng Ge; Phillip J. Brooke (Int. J. Crit. Comput. Based Syst., 2011)