Relating Safety Requirements and System Design through Problem Oriented Software Engineering (2006)

by J Hall, L Rapanotti, D Mannering