Xiaocheng Ge, Richard F. Paige, John A. McDermid. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments. In Sallyann Freudenberg, Joseph Chao, editors, 2010 Agile Conference, AGILE 2010, Orlando, Florida, USA, August 9-13, 2010. pages 35-43, IEEE Computer Society, 2010. [doi]
Abstract is missing.