publication venue for An Iterative Approach for Development of Safety-Critical Software and Safety Arguments 2010
